Home
last modified time | relevance | path

Searched refs:kpml4 (Results 1 – 1 of 1) sorted by relevance

/xnu-8020.140.41/osfmk/x86_64/ !
H A Dpmap.c1587 pml4_entry_t *kpml4; in pmap_create_options() local
1672 kpml4 = kernel_pmap->pm_pml4; in pmap_create_options()
1674 pml4[i] = kpml4[i]; in pmap_create_options()
1676 pml4[KERNEL_KEXTS_INDEX] = kpml4[KERNEL_KEXTS_INDEX]; in pmap_create_options()
1678 pml4[i] = kpml4[i]; in pmap_create_options()
1680 pml4[KERNEL_DBLMAP_PML4_INDEX] = kpml4[KERNEL_DBLMAP_PML4_INDEX]; in pmap_create_options()
1683 pml4[i] = kpml4[i]; in pmap_create_options()
1687 pml4u[KERNEL_DBLMAP_PML4_INDEX] = kpml4[KERNEL_DBLMAP_PML4_INDEX]; in pmap_create_options()