Lines Matching refs:physmax
994 installed_top_size_ex(bootops->boot_mem->physinstalled, &physmax, in startup_memlist()
996 PRM_DEBUG(physmax); in startup_memlist()
1046 if (PFN_ABOVE64G(physmax)) { in startup_memlist()
1047 physinstalled -= (physmax - (PFN_64G - 1)); in startup_memlist()
1048 physmax = PFN_64G - 1; in startup_memlist()
1051 if (PFN_ABOVE4G(physmax)) { in startup_memlist()
1052 physinstalled -= (physmax - (PFN_4G - 1)); in startup_memlist()
1053 physmax = PFN_4G - 1; in startup_memlist()
1187 if (physmax + 1 > mmu_btop(TERABYTE) || in startup_memlist()
1189 uint64_t kpm_resv_amount = mmu_ptob(physmax + 1); in startup_memlist()
1784 if (physmax + 1 < plat_dr_physmax) { in layout_kernel_va()
1787 kpm_size = ROUND_UP_LPAGE(mmu_ptob(physmax + 1)); in layout_kernel_va()
2531 if (btop(addr) > physmax) in kphysm_init()
2544 if ((btop(addr + size) - 1) > physmax) in kphysm_init()
2545 size = ptob(physmax - btop(addr) + 1); in kphysm_init()
2593 num = mem_node_config[ms].physmax - base_pfn in kphysm_init()
2595 ASSERT(end_pfn > mem_node_config[ms].physmax); in kphysm_init()
2642 num = MIN(mem_node_config[ms].physmax, in kphysm_init()