xref: /kvm-unit-tests/lib/x86/setup.c (revision 3c50214c97f173f5e0f82c7f248a7c62707d8748)
193dd2aa3SAndrew Jones /*
293dd2aa3SAndrew Jones  * Initialize machine setup information
393dd2aa3SAndrew Jones  *
493dd2aa3SAndrew Jones  * Copyright (C) 2017, Red Hat Inc, Andrew Jones <drjones@redhat.com>
5dbd38004SZixuan Wang  * Copyright (C) 2021, Google Inc, Zixuan Wang <zixuanwang@google.com>
693dd2aa3SAndrew Jones  *
793dd2aa3SAndrew Jones  * This work is licensed under the terms of the GNU LGPL, version 2.
893dd2aa3SAndrew Jones  */
993dd2aa3SAndrew Jones #include "libcflat.h"
10716cea8aSPaolo Bonzini #include "fwcfg.h"
11716cea8aSPaolo Bonzini #include "alloc_phys.h"
1203b1e457SNadav Amit #include "argv.h"
13dbd38004SZixuan Wang #include "desc.h"
14dbd38004SZixuan Wang #include "apic.h"
15dbd38004SZixuan Wang #include "apic-defs.h"
16dbd38004SZixuan Wang #include "asm/setup.h"
1793dd2aa3SAndrew Jones 
18716cea8aSPaolo Bonzini extern char edata;
19716cea8aSPaolo Bonzini 
20716cea8aSPaolo Bonzini struct mbi_bootinfo {
21716cea8aSPaolo Bonzini 	u32 flags;
22716cea8aSPaolo Bonzini 	u32 mem_lower;
23716cea8aSPaolo Bonzini 	u32 mem_upper;
24716cea8aSPaolo Bonzini 	u32 boot_device;
25716cea8aSPaolo Bonzini 	u32 cmdline;
26716cea8aSPaolo Bonzini 	u32 mods_count;
27716cea8aSPaolo Bonzini 	u32 mods_addr;
2848a0145fSPaolo Bonzini 	u32 reserved[4];   /* 28-43 */
2948a0145fSPaolo Bonzini 	u32 mmap_length;
30716cea8aSPaolo Bonzini 	u32 mmap_addr;
31716cea8aSPaolo Bonzini 	u32 reserved0[3];  /* 52-63 */
32716cea8aSPaolo Bonzini 	u32 bootloader;
33716cea8aSPaolo Bonzini 	u32 reserved1[5];  /* 68-87 */
34716cea8aSPaolo Bonzini 	u32 size;
35716cea8aSPaolo Bonzini };
36716cea8aSPaolo Bonzini 
37716cea8aSPaolo Bonzini struct mbi_module {
38716cea8aSPaolo Bonzini 	u32 start, end;
39716cea8aSPaolo Bonzini 	u32 cmdline;
40716cea8aSPaolo Bonzini 	u32 unused;
41716cea8aSPaolo Bonzini };
4293dd2aa3SAndrew Jones 
4348a0145fSPaolo Bonzini struct mbi_mem {
4448a0145fSPaolo Bonzini 	u32 size;
4548a0145fSPaolo Bonzini 	u64 base_addr;
4648a0145fSPaolo Bonzini 	u64 length;
4748a0145fSPaolo Bonzini 	u32 type;
4848a0145fSPaolo Bonzini } __attribute__((packed));
4948a0145fSPaolo Bonzini 
503c7d322eSAndrew Jones #define ENV_SIZE 16384
513c7d322eSAndrew Jones 
5206846df5SThomas Huth void setup_env(char *env, int size);
5306846df5SThomas Huth void setup_multiboot(struct mbi_bootinfo *bootinfo);
5406846df5SThomas Huth void setup_libcflat(void);
553c7d322eSAndrew Jones 
5693dd2aa3SAndrew Jones char *initrd;
5793dd2aa3SAndrew Jones u32 initrd_size;
5893dd2aa3SAndrew Jones 
593c7d322eSAndrew Jones static char env[ENV_SIZE];
6048a0145fSPaolo Bonzini static struct mbi_bootinfo *bootinfo;
613c7d322eSAndrew Jones 
6248a0145fSPaolo Bonzini #define HUGEPAGE_SIZE (1 << 21)
6348a0145fSPaolo Bonzini 
6448a0145fSPaolo Bonzini #ifdef __x86_64__
6548a0145fSPaolo Bonzini void find_highmem(void)
6648a0145fSPaolo Bonzini {
6748a0145fSPaolo Bonzini 	/* Memory above 4 GB is only supported on 64-bit systems.  */
6848a0145fSPaolo Bonzini 	if (!(bootinfo->flags & 64))
6948a0145fSPaolo Bonzini 	    	return;
7048a0145fSPaolo Bonzini 
7148a0145fSPaolo Bonzini 	u64 upper_end = bootinfo->mem_upper * 1024ull;
7248a0145fSPaolo Bonzini 	u64 best_start = (uintptr_t) &edata;
7348a0145fSPaolo Bonzini 	u64 best_end = upper_end;
74eb2db85dSNadav Amit 	u64 max_end = fwcfg_get_u64(FW_CFG_MAX_RAM);
75eb2db85dSNadav Amit 	if (max_end == 0)
76eb2db85dSNadav Amit 		max_end = -1ull;
7748a0145fSPaolo Bonzini 	bool found = false;
7848a0145fSPaolo Bonzini 
7948a0145fSPaolo Bonzini 	uintptr_t mmap = bootinfo->mmap_addr;
8048a0145fSPaolo Bonzini 	while (mmap < bootinfo->mmap_addr + bootinfo->mmap_length) {
8148a0145fSPaolo Bonzini 		struct mbi_mem *mem = (void *)mmap;
8248a0145fSPaolo Bonzini 		mmap += mem->size + 4;
8348a0145fSPaolo Bonzini 		if (mem->type != 1)
8448a0145fSPaolo Bonzini 			continue;
8548a0145fSPaolo Bonzini 		if (mem->base_addr <= (uintptr_t) &edata ||
8648a0145fSPaolo Bonzini 		    (mem->base_addr <= upper_end && mem->base_addr + mem->length <= upper_end))
8748a0145fSPaolo Bonzini 			continue;
8848a0145fSPaolo Bonzini 		if (mem->length < best_end - best_start)
8948a0145fSPaolo Bonzini 			continue;
90eb2db85dSNadav Amit 		if (mem->base_addr >= max_end)
91eb2db85dSNadav Amit 			continue;
9248a0145fSPaolo Bonzini 		best_start = mem->base_addr;
9348a0145fSPaolo Bonzini 		best_end = mem->base_addr + mem->length;
94eb2db85dSNadav Amit 		if (best_end > max_end)
95eb2db85dSNadav Amit 			best_end = max_end;
9648a0145fSPaolo Bonzini 		found = true;
9748a0145fSPaolo Bonzini 	}
9848a0145fSPaolo Bonzini 
9948a0145fSPaolo Bonzini 	if (found) {
10048a0145fSPaolo Bonzini 		best_start = (best_start + HUGEPAGE_SIZE - 1) & -HUGEPAGE_SIZE;
10148a0145fSPaolo Bonzini 		best_end = best_end & -HUGEPAGE_SIZE;
10248a0145fSPaolo Bonzini 		phys_alloc_init(best_start, best_end - best_start);
10348a0145fSPaolo Bonzini 	}
10448a0145fSPaolo Bonzini }
105dbd38004SZixuan Wang 
106dbd38004SZixuan Wang /* Setup TSS for the current processor, and return TSS offset within GDT */
1077e33895dSPaolo Bonzini unsigned long setup_tss(u8 *stacktop)
108dbd38004SZixuan Wang {
109dbd38004SZixuan Wang 	u32 id;
110dbd38004SZixuan Wang 	tss64_t *tss_entry;
111dbd38004SZixuan Wang 
112d8de5a33SSean Christopherson 	id = pre_boot_apic_id();
113dbd38004SZixuan Wang 
114dbd38004SZixuan Wang 	/* Runtime address of current TSS */
115dbd38004SZixuan Wang 	tss_entry = &tss[id];
116dbd38004SZixuan Wang 
117dbd38004SZixuan Wang 	/* Update TSS */
118dbd38004SZixuan Wang 	memset((void *)tss_entry, 0, sizeof(tss64_t));
119dbd38004SZixuan Wang 
120dbd38004SZixuan Wang 	/* Update TSS descriptors; each descriptor takes up 2 entries */
121dbd38004SZixuan Wang 	set_gdt_entry(TSS_MAIN + id * 16, (unsigned long)tss_entry, 0xffff, 0x89, 0);
122dbd38004SZixuan Wang 
123dbd38004SZixuan Wang 	return TSS_MAIN + id * 16;
124dbd38004SZixuan Wang }
1257e33895dSPaolo Bonzini #else
1267e33895dSPaolo Bonzini /* Setup TSS for the current processor, and return TSS offset within GDT */
1277e33895dSPaolo Bonzini unsigned long setup_tss(u8 *stacktop)
1287e33895dSPaolo Bonzini {
1297e33895dSPaolo Bonzini 	u32 id;
1307e33895dSPaolo Bonzini 	tss32_t *tss_entry;
1317e33895dSPaolo Bonzini 
132d8de5a33SSean Christopherson 	id = pre_boot_apic_id();
1337e33895dSPaolo Bonzini 
1347e33895dSPaolo Bonzini 	/* Runtime address of current TSS */
1357e33895dSPaolo Bonzini 	tss_entry = &tss[id];
1367e33895dSPaolo Bonzini 
1377e33895dSPaolo Bonzini 	/* Update TSS */
1387e33895dSPaolo Bonzini 	memset((void *)tss_entry, 0, sizeof(tss32_t));
1397e33895dSPaolo Bonzini 	tss_entry->ss0 = KERNEL_DS;
1407e33895dSPaolo Bonzini 
1417e33895dSPaolo Bonzini 	/* Update descriptors for TSS and percpu data segment.  */
1427e33895dSPaolo Bonzini 	set_gdt_entry(TSS_MAIN + id * 8,
1437e33895dSPaolo Bonzini 		      (unsigned long)tss_entry, 0xffff, 0x89, 0);
1447e33895dSPaolo Bonzini 	set_gdt_entry(TSS_MAIN + MAX_TEST_CPUS * 8 + id * 8,
1457e33895dSPaolo Bonzini 		      (unsigned long)stacktop - 4096, 0xfffff, 0x93, 0xc0);
1467e33895dSPaolo Bonzini 
1477e33895dSPaolo Bonzini 	return TSS_MAIN + id * 8;
1487e33895dSPaolo Bonzini }
14948a0145fSPaolo Bonzini #endif
15048a0145fSPaolo Bonzini 
15148a0145fSPaolo Bonzini void setup_multiboot(struct mbi_bootinfo *bi)
15293dd2aa3SAndrew Jones {
153716cea8aSPaolo Bonzini 	struct mbi_module *mods;
15493dd2aa3SAndrew Jones 
15548a0145fSPaolo Bonzini 	bootinfo = bi;
15648a0145fSPaolo Bonzini 
15748a0145fSPaolo Bonzini 	u64 best_start = (uintptr_t) &edata;
15848a0145fSPaolo Bonzini 	u64 best_end = bootinfo->mem_upper * 1024ull;
15948a0145fSPaolo Bonzini 	phys_alloc_init(best_start, best_end - best_start);
160cb67196aSPaolo Bonzini 
161716cea8aSPaolo Bonzini 	if (bootinfo->mods_count != 1)
16293dd2aa3SAndrew Jones 		return;
16393dd2aa3SAndrew Jones 
164716cea8aSPaolo Bonzini 	mods = (struct mbi_module *)(uintptr_t) bootinfo->mods_addr;
16593dd2aa3SAndrew Jones 
166716cea8aSPaolo Bonzini 	initrd = (char *)(uintptr_t) mods->start;
167716cea8aSPaolo Bonzini 	initrd_size = mods->end - mods->start;
16893dd2aa3SAndrew Jones }
1693c7d322eSAndrew Jones 
170c98ce6e0SAlexandru Elisei #ifdef CONFIG_EFI
171ad5fb883SZixuan Wang 
172*3c50214cSVarad Gautam static struct percpu_data __percpu_data[MAX_TEST_CPUS];
173*3c50214cSVarad Gautam 
17477b681d3SVarad Gautam static void setup_segments64(void)
17577b681d3SVarad Gautam {
17677b681d3SVarad Gautam 	/* Update data segments */
17777b681d3SVarad Gautam 	write_ds(KERNEL_DS);
17877b681d3SVarad Gautam 	write_es(KERNEL_DS);
17977b681d3SVarad Gautam 	write_fs(KERNEL_DS);
18077b681d3SVarad Gautam 	write_gs(KERNEL_DS);
18177b681d3SVarad Gautam 	write_ss(KERNEL_DS);
18277b681d3SVarad Gautam 
183*3c50214cSVarad Gautam 	/* Setup percpu base */
184*3c50214cSVarad Gautam 	wrmsr(MSR_GS_BASE, (u64)&__percpu_data[pre_boot_apic_id()]);
185*3c50214cSVarad Gautam 
18677b681d3SVarad Gautam 	/*
18777b681d3SVarad Gautam 	 * Update the code segment by putting it on the stack before the return
18877b681d3SVarad Gautam 	 * address, then doing a far return: this will use the new code segment
18977b681d3SVarad Gautam 	 * along with the address.
19077b681d3SVarad Gautam 	 */
19177b681d3SVarad Gautam 	asm volatile("pushq %1\n\t"
19277b681d3SVarad Gautam 		     "lea 1f(%%rip), %0\n\t"
19377b681d3SVarad Gautam 		     "pushq %0\n\t"
19477b681d3SVarad Gautam 		     "lretq\n\t"
19577b681d3SVarad Gautam 		     "1:"
19677b681d3SVarad Gautam 		     :: "r" ((u64)KERNEL_DS), "i" (KERNEL_CS));
19777b681d3SVarad Gautam }
1983298643cSZixuan Wang 
199b4e8c300SZixuan Wang static efi_status_t setup_memory_allocator(efi_bootinfo_t *efi_bootinfo)
2001ae9072eSZixuan Wang {
2011ae9072eSZixuan Wang 	int i;
202b4e8c300SZixuan Wang 	unsigned long free_mem_pages = 0;
203b4e8c300SZixuan Wang 	unsigned long free_mem_start = 0;
204b4e8c300SZixuan Wang 	struct efi_boot_memmap *map = &(efi_bootinfo->mem_map);
205b4e8c300SZixuan Wang 	efi_memory_desc_t *buffer = *map->map;
206b4e8c300SZixuan Wang 	efi_memory_desc_t *d = NULL;
2071ae9072eSZixuan Wang 
2081ae9072eSZixuan Wang 	/*
2091ae9072eSZixuan Wang 	 * The 'buffer' contains multiple descriptors that describe memory
2101ae9072eSZixuan Wang 	 * regions maintained by UEFI. This code records the largest free
2111ae9072eSZixuan Wang 	 * EFI_CONVENTIONAL_MEMORY region which will be used to set up the
2121ae9072eSZixuan Wang 	 * memory allocator, so that the memory allocator can work in the
2131ae9072eSZixuan Wang 	 * largest free continuous memory region.
2141ae9072eSZixuan Wang 	 */
215b4e8c300SZixuan Wang 	for (i = 0; i < *(map->map_size); i += *(map->desc_size)) {
2161ae9072eSZixuan Wang 		d = (efi_memory_desc_t *)(&((u8 *)buffer)[i]);
2171ae9072eSZixuan Wang 		if (d->type == EFI_CONVENTIONAL_MEMORY) {
218b4e8c300SZixuan Wang 			if (free_mem_pages < d->num_pages) {
219b4e8c300SZixuan Wang 				free_mem_pages = d->num_pages;
220b4e8c300SZixuan Wang 				free_mem_start = d->phys_addr;
2211ae9072eSZixuan Wang 			}
2221ae9072eSZixuan Wang 		}
2231ae9072eSZixuan Wang 	}
2241ae9072eSZixuan Wang 
225b4e8c300SZixuan Wang 	if (free_mem_pages == 0) {
2261ae9072eSZixuan Wang 		return EFI_OUT_OF_RESOURCES;
2271ae9072eSZixuan Wang 	}
2281ae9072eSZixuan Wang 
229b4e8c300SZixuan Wang 	phys_alloc_init(free_mem_start, free_mem_pages << EFI_PAGE_SHIFT);
230b4e8c300SZixuan Wang 
2311ae9072eSZixuan Wang 	return EFI_SUCCESS;
2321ae9072eSZixuan Wang }
2331ae9072eSZixuan Wang 
234b4e8c300SZixuan Wang static efi_status_t setup_rsdp(efi_bootinfo_t *efi_bootinfo)
2351ae9072eSZixuan Wang {
2361ae9072eSZixuan Wang 	efi_status_t status;
237b4e8c300SZixuan Wang 	struct rsdp_descriptor *rsdp;
2381ae9072eSZixuan Wang 
239b4e8c300SZixuan Wang 	/*
240b4e8c300SZixuan Wang 	 * RSDP resides in an EFI_ACPI_RECLAIM_MEMORY region, which is not used
241b4e8c300SZixuan Wang 	 * by kvm-unit-tests x86's memory allocator. So it is not necessary to
242b4e8c300SZixuan Wang 	 * copy the data structure to another memory region to prevent
243b4e8c300SZixuan Wang 	 * unintentional overwrite.
244b4e8c300SZixuan Wang 	 */
245b4e8c300SZixuan Wang 	status = efi_get_system_config_table(ACPI_TABLE_GUID, (void **)&rsdp);
2461ae9072eSZixuan Wang 	if (status != EFI_SUCCESS) {
2471ae9072eSZixuan Wang 		return status;
2481ae9072eSZixuan Wang 	}
2491ae9072eSZixuan Wang 
250b4e8c300SZixuan Wang 	set_efi_rsdp(rsdp);
251706ede18SZixuan Wang 
2521ae9072eSZixuan Wang 	return EFI_SUCCESS;
2531ae9072eSZixuan Wang }
2541ae9072eSZixuan Wang 
255e6f65fa4SZixuan Wang /* Defined in cstart64.S or efistart64.S */
256e6f65fa4SZixuan Wang extern u8 ptl4;
257e6f65fa4SZixuan Wang extern u8 ptl3;
258e6f65fa4SZixuan Wang extern u8 ptl2;
259e6f65fa4SZixuan Wang 
260e6f65fa4SZixuan Wang static void setup_page_table(void)
261e6f65fa4SZixuan Wang {
262e6f65fa4SZixuan Wang 	pgd_t *curr_pt;
263e6f65fa4SZixuan Wang 	phys_addr_t flags;
264e6f65fa4SZixuan Wang 	int i;
265e6f65fa4SZixuan Wang 
266e6f65fa4SZixuan Wang 	/* Set default flags */
267e6f65fa4SZixuan Wang 	flags = PT_PRESENT_MASK | PT_WRITABLE_MASK | PT_USER_MASK;
268e6f65fa4SZixuan Wang 
269350bf64aSZixuan Wang 	/* Set AMD SEV C-Bit for page table entries */
270350bf64aSZixuan Wang 	flags |= get_amd_sev_c_bit_mask();
271350bf64aSZixuan Wang 
272e6f65fa4SZixuan Wang 	/* Level 4 */
273e6f65fa4SZixuan Wang 	curr_pt = (pgd_t *)&ptl4;
274e6f65fa4SZixuan Wang 	curr_pt[0] = ((phys_addr_t)&ptl3) | flags;
275e6f65fa4SZixuan Wang 	/* Level 3 */
276e6f65fa4SZixuan Wang 	curr_pt = (pgd_t *)&ptl3;
277e6f65fa4SZixuan Wang 	for (i = 0; i < 4; i++) {
278e6f65fa4SZixuan Wang 		curr_pt[i] = (((phys_addr_t)&ptl2) + i * PAGE_SIZE) | flags;
279e6f65fa4SZixuan Wang 	}
280e6f65fa4SZixuan Wang 	/* Level 2 */
281e6f65fa4SZixuan Wang 	curr_pt = (pgd_t *)&ptl2;
282e6f65fa4SZixuan Wang 	flags |= PT_ACCESSED_MASK | PT_DIRTY_MASK | PT_PAGE_SIZE_MASK | PT_GLOBAL_MASK;
283e6f65fa4SZixuan Wang 	for (i = 0; i < 4 * 512; i++)	{
284832e1c15SVarad Gautam 		curr_pt[i] = ((phys_addr_t) i << 21) | flags;
285e6f65fa4SZixuan Wang 	}
286e6f65fa4SZixuan Wang 
287b114aa57SZixuan Wang 	if (amd_sev_es_enabled()) {
288b114aa57SZixuan Wang 		setup_ghcb_pte((pgd_t *)&ptl4);
289b114aa57SZixuan Wang 	}
290b114aa57SZixuan Wang 
291e6f65fa4SZixuan Wang 	/* Load 4-level page table */
292e6f65fa4SZixuan Wang 	write_cr3((ulong)&ptl4);
293e6f65fa4SZixuan Wang }
294e6f65fa4SZixuan Wang 
2953298643cSZixuan Wang static void setup_gdt_tss(void)
2963298643cSZixuan Wang {
2973298643cSZixuan Wang 	size_t tss_offset;
2983298643cSZixuan Wang 
2993298643cSZixuan Wang 	/* 64-bit setup_tss does not use the stacktop argument.  */
3003298643cSZixuan Wang 	tss_offset = setup_tss(NULL);
3013298643cSZixuan Wang 	load_gdt_tss(tss_offset);
3023298643cSZixuan Wang }
3034143d8a7SZixuan Wang 
304b4e8c300SZixuan Wang efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo)
305ad5fb883SZixuan Wang {
306b4e8c300SZixuan Wang 	efi_status_t status;
3078238fdcaSPaolo Bonzini 	const char *phase;
308b4e8c300SZixuan Wang 
309b4e8c300SZixuan Wang 	status = setup_memory_allocator(efi_bootinfo);
310b4e8c300SZixuan Wang 	if (status != EFI_SUCCESS) {
311b4e8c300SZixuan Wang 		printf("Failed to set up memory allocator: ");
312b4e8c300SZixuan Wang 		switch (status) {
313b4e8c300SZixuan Wang 		case EFI_OUT_OF_RESOURCES:
314b4e8c300SZixuan Wang 			printf("No free memory region\n");
315b4e8c300SZixuan Wang 			break;
316b4e8c300SZixuan Wang 		default:
317b4e8c300SZixuan Wang 			printf("Unknown error\n");
318b4e8c300SZixuan Wang 			break;
319b4e8c300SZixuan Wang 		}
320b4e8c300SZixuan Wang 		return status;
321b4e8c300SZixuan Wang 	}
322b4e8c300SZixuan Wang 
323b4e8c300SZixuan Wang 	status = setup_rsdp(efi_bootinfo);
324b4e8c300SZixuan Wang 	if (status != EFI_SUCCESS) {
325b4e8c300SZixuan Wang 		printf("Cannot find RSDP in EFI system table\n");
326b4e8c300SZixuan Wang 		return status;
327b4e8c300SZixuan Wang 	}
328b4e8c300SZixuan Wang 
3298238fdcaSPaolo Bonzini 	phase = "AMD SEV";
330b4e8c300SZixuan Wang 	status = setup_amd_sev();
3318238fdcaSPaolo Bonzini 
3328238fdcaSPaolo Bonzini 	/* Continue if AMD SEV is not supported, but skip SEV-ES setup */
3338238fdcaSPaolo Bonzini 	if (status == EFI_SUCCESS) {
3348238fdcaSPaolo Bonzini 		phase = "AMD SEV-ES";
3358238fdcaSPaolo Bonzini 		status = setup_amd_sev_es();
336b4e8c300SZixuan Wang 	}
337b4e8c300SZixuan Wang 
3388238fdcaSPaolo Bonzini 	if (status != EFI_SUCCESS && status != EFI_UNSUPPORTED) {
3398238fdcaSPaolo Bonzini 		printf("%s setup failed, error = 0x%lx\n", phase, status);
340b4e8c300SZixuan Wang 		return status;
341b4e8c300SZixuan Wang 	}
342b4e8c300SZixuan Wang 
3433298643cSZixuan Wang 	setup_gdt_tss();
344*3c50214cSVarad Gautam 	/*
345*3c50214cSVarad Gautam 	 * GS.base, which points at the per-vCPU data, must be configured prior
346*3c50214cSVarad Gautam 	 * to resetting the APIC, which sets the per-vCPU APIC ops.
347*3c50214cSVarad Gautam 	 */
34877b681d3SVarad Gautam 	setup_segments64();
349*3c50214cSVarad Gautam 	reset_apic();
3504143d8a7SZixuan Wang 	setup_idt();
3514143d8a7SZixuan Wang 	load_idt();
352ad5fb883SZixuan Wang 	mask_pic_interrupts();
353ad5fb883SZixuan Wang 	enable_apic();
354d36b378fSVarad Gautam 	ap_init();
355ad5fb883SZixuan Wang 	enable_x2apic();
356ad5fb883SZixuan Wang 	smp_init();
357e6f65fa4SZixuan Wang 	setup_page_table();
358b4e8c300SZixuan Wang 
359b4e8c300SZixuan Wang 	return EFI_SUCCESS;
360ad5fb883SZixuan Wang }
361ad5fb883SZixuan Wang 
362c98ce6e0SAlexandru Elisei #endif /* CONFIG_EFI */
363ad5fb883SZixuan Wang 
364716cea8aSPaolo Bonzini void setup_libcflat(void)
3653c7d322eSAndrew Jones {
3663c7d322eSAndrew Jones 	if (initrd) {
3673c7d322eSAndrew Jones 		/* environ is currently the only file in the initrd */
3683c7d322eSAndrew Jones 		u32 size = MIN(initrd_size, ENV_SIZE);
36903b1e457SNadav Amit 		const char *str;
37003b1e457SNadav Amit 
3713c7d322eSAndrew Jones 		memcpy(env, initrd, size);
3723c7d322eSAndrew Jones 		setup_env(env, size);
37303b1e457SNadav Amit 		if ((str = getenv("BOOTLOADER")) && atol(str) != 0)
37403b1e457SNadav Amit 			add_setup_arg("bootloader");
3753c7d322eSAndrew Jones 	}
3763c7d322eSAndrew Jones }
377