Home
last modified time | relevance | path

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

/xnu-8019.80.24/osfmk/i386/
H A Di386_init.c157 int kernPhysPML4Index; variable
335kernPhysPML4Index = KERNEL_KEXTS_INDEX - kernPhysPML4EntryCount; /* utb: KERNEL_PHYSMAP_PML… in physmap_init()
357 for (pml4_index = kernPhysPML4Index; in physmap_init()
358 pml4_index < (kernPhysPML4Index + kernPhysPML4EntryCount) && physAddr < highest_physaddr; in physmap_init()
373 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()
381 for (i = kernPhysPML4Index; i < (kernPhysPML4Index + kernPhysPML4EntryCount); i++) { in physmap_init()
H A Dpmap.h201 extern int kernPhysPML4Index;
206 #define KERNEL_PHYSMAP_PML4_INDEX (kernPhysPML4Index) /* 50X: virtual to physical…