Searched refs:kpml4 (Results 1 – 1 of 1) sorted by relevance
1544 pml4_entry_t *kpml4; in pmap_create_options() local1629 kpml4 = kernel_pmap->pm_pml4; in pmap_create_options()1631 pml4[i] = kpml4[i]; in pmap_create_options()1633 pml4[KERNEL_KEXTS_INDEX] = kpml4[KERNEL_KEXTS_INDEX]; in pmap_create_options()1635 pml4[i] = kpml4[i]; in pmap_create_options()1637 pml4[KERNEL_DBLMAP_PML4_INDEX] = kpml4[KERNEL_DBLMAP_PML4_INDEX]; in pmap_create_options()1640 pml4[i] = kpml4[i]; in pmap_create_options()1644 pml4u[KERNEL_DBLMAP_PML4_INDEX] = kpml4[KERNEL_DBLMAP_PML4_INDEX]; in pmap_create_options()