Searched refs:pml4_index (Results 1 – 1 of 1) sorted by relevance
293 int pml4_index, i; in physmap_init() local356 for (pml4_index = kernPhysPML4Index; in physmap_init()357 pml4_index < (kernPhysPML4Index + kernPhysPML4EntryCount) && physAddr < highest_physaddr; in physmap_init()358 pml4_index++) { in physmap_init()366 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()