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