Searched refs:kernel_pmap_pml4 (Results 1 – 2 of 2) sorted by relevance
42 uint64_t kernel_pmap_pml4; member
448 kdp_jtag_coredump.kernel_pmap_pml4 = (uint64_t) kernel_pmap->pm_pml4; in kdp_jtag_coredump_init()