Searched refs:kernPhysPML4Index (Results 1 – 2 of 2) sorted by relevance
153 int kernPhysPML4Index; variable331 …kernPhysPML4Index = KERNEL_KEXTS_INDEX - kernPhysPML4EntryCount; /* utb: KERNEL_PHYSMAP_PML… in physmap_init()353 for (pml4_index = kernPhysPML4Index; in physmap_init()354 pml4_index < (kernPhysPML4Index + kernPhysPML4EntryCount) && physAddr < highest_physaddr; in physmap_init()369 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()377 for (i = kernPhysPML4Index; i < (kernPhysPML4Index + kernPhysPML4EntryCount); i++) { in physmap_init()
201 extern int kernPhysPML4Index;206 #define KERNEL_PHYSMAP_PML4_INDEX (kernPhysPML4Index) /* 50X: virtual to physical…