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