Searched refs:highest_physaddr (Results 1 – 1 of 1) sorted by relevance
295 uint64_t highest_physaddr; in physmap_init() local309 highest_physaddr = kernelBootArgs->PhysicalMemorySize + 4 * GB; in physmap_init()317 assert(highest_physaddr < (UINT64_MAX - PDPTMASK)); in physmap_init()318 pdpte_count = (unsigned) (((highest_physaddr + PDPTMASK) >> PDPTSHIFT) + phys_random_L3); in physmap_init()356 pml4_index < (kernPhysPML4Index + kernPhysPML4EntryCount) && physAddr < highest_physaddr; in physmap_init()358 if (physmap_init_L3(L3_start_index, highest_physaddr, &physAddr, &l3pte) < 0) { in physmap_init()