Searched refs:pml4_index (Results 1 – 1 of 1) sorted by relevance
290 int pml4_index, i; in physmap_init() local353 for (pml4_index = kernPhysPML4Index; in physmap_init()354 pml4_index < (kernPhysPML4Index + kernPhysPML4EntryCount) && physAddr < highest_physaddr; in physmap_init()355 pml4_index++) { in physmap_init()363 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()