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