Searched refs:above_4g_mem_start (Results 1 – 5 of 5) sorted by relevance
73 uint64_t above_4g_mem_start; member
694 return x86ms->above_4g_mem_start + x86ms->above_4g_mem_size; in pc_above_4g_end()853 x86ms->above_4g_mem_start = AMD_ABOVE_1TB_START; in pc_memory_init()893 memory_region_add_subregion(system_memory, x86ms->above_4g_mem_start, in pc_memory_init()895 e820_add_entry(x86ms->above_4g_mem_start, x86ms->above_4g_mem_size, in pc_memory_init()
307 sgx_epc->base = x86ms->above_4g_mem_start + x86ms->above_4g_mem_size; in pc_machine_init_sgx_epc()
372 x86ms->above_4g_mem_start = 4 * GiB; in x86_machine_initfn()
1949 mem_base = x86ms->above_4g_mem_start; in build_srat()