Searched refs:PhysicalMemorySize (Results 1 – 3 of 3) sorted by relevance
187 uint64_t PhysicalMemorySize; member
300 if (kernelBootArgs->PhysicalMemorySize > K64_MAXMEM) { in physmap_init()310 highest_physaddr = kernelBootArgs->PhysicalMemorySize + 4 * GB; in physmap_init()740 DBG("SMBIOS mem sz 0x%llx\n", kernelBootArgs->PhysicalMemorySize); in vstart()
707 mem_actual = args->PhysicalMemorySize; in i386_vm_init()