xref: /kvm-unit-tests/lib/arm/setup.c (revision abdc5d02a7796a55802509ac9bb704c721f2a5f6)
15e61cba0SAndrew Jones /*
25e61cba0SAndrew Jones  * Initialize machine setup information and I/O.
35e61cba0SAndrew Jones  *
45e61cba0SAndrew Jones  * After running setup() unit tests may query how many cpus they have
55e61cba0SAndrew Jones  * (nr_cpus), how much memory they have (PHYS_END - PHYS_OFFSET), may
65e61cba0SAndrew Jones  * use dynamic memory allocation (malloc, etc.), printf, and exit.
75e61cba0SAndrew Jones  * Finally, argc and argv are also ready to be passed to main().
85e61cba0SAndrew Jones  *
95e61cba0SAndrew Jones  * Copyright (C) 2014, Red Hat Inc, Andrew Jones <drjones@redhat.com>
105e61cba0SAndrew Jones  *
115e61cba0SAndrew Jones  * This work is licensed under the terms of the GNU LGPL, version 2.
125e61cba0SAndrew Jones  */
138cca5668SAndrew Jones #include <libcflat.h>
148cca5668SAndrew Jones #include <libfdt/libfdt.h>
158cca5668SAndrew Jones #include <devicetree.h>
162479ae50SAndrew Jones #include <memregions.h>
178cca5668SAndrew Jones #include <alloc.h>
18dc47ac61SPaolo Bonzini #include <alloc_phys.h>
1962bdc67fSAndrew Jones #include <alloc_page.h>
20c0edb3d2SAndrew Jones #include <vmalloc.h>
21c0edb3d2SAndrew Jones #include <auxinfo.h>
2263d5cbecSThomas Huth #include <argv.h>
23f6d10793SAndrew Jones #include <asm/thread_info.h>
248cca5668SAndrew Jones #include <asm/setup.h>
258cca5668SAndrew Jones #include <asm/page.h>
26410b3bf0SAlexandru Elisei #include <asm/processor.h>
2768ea0e0bSAndrew Jones #include <asm/smp.h>
28a4110027SAndrew Jones #include <asm/timer.h>
29bd5bd157SAndrew Jones #include <asm/psci.h>
305e61cba0SAndrew Jones 
310df901e0SAndrew Jones #include "io.h"
320df901e0SAndrew Jones 
335a2a7371SAndrew Jones #define MAX_DT_MEM_REGIONS	16
34*cef98deaSAndrew Jones #define NR_EXTRA_MEM_REGIONS	128
352479ae50SAndrew Jones #define NR_MEM_REGIONS		(MAX_DT_MEM_REGIONS + NR_EXTRA_MEM_REGIONS)
36ef31e31dSAndrew Jones 
3723e17626SNikos Nikoleris extern unsigned long _text, _etext, _data, _edata;
384e07d331SSuzuki K Poulose extern unsigned long stacktop;
395e61cba0SAndrew Jones 
402c2545b0SAndrew Jones char *initrd;
412c2545b0SAndrew Jones u32 initrd_size;
422c2545b0SAndrew Jones 
43da905c9dSAndrew Jones u64 cpus[NR_CPUS] = { [0 ... NR_CPUS-1] = (u64)~0 };
445e61cba0SAndrew Jones int nr_cpus;
455e61cba0SAndrew Jones 
462479ae50SAndrew Jones static struct mem_region arm_mem_regions[NR_MEM_REGIONS + 1];
4723e17626SNikos Nikoleris phys_addr_t __phys_offset = (phys_addr_t)-1, __phys_end = 0;
4823e17626SNikos Nikoleris 
4923e17626SNikos Nikoleris extern void exceptions_init(void);
5023e17626SNikos Nikoleris extern void asm_mmu_disable(void);
515e61cba0SAndrew Jones 
mpidr_to_cpu(uint64_t mpidr)52d9729025SAndrew Jones int mpidr_to_cpu(uint64_t mpidr)
53d9729025SAndrew Jones {
54d9729025SAndrew Jones 	int i;
55d9729025SAndrew Jones 
56d9729025SAndrew Jones 	for (i = 0; i < nr_cpus; ++i)
57d9729025SAndrew Jones 		if (cpus[i] == (mpidr & MPIDR_HWID_BITMASK))
58d9729025SAndrew Jones 			return i;
59d9729025SAndrew Jones 	return -1;
60d9729025SAndrew Jones }
61d9729025SAndrew Jones 
cpu_set_fdt(int fdtnode __unused,u64 regval,void * info __unused)623d29f825SNikos Nikoleris static void cpu_set_fdt(int fdtnode __unused, u64 regval, void *info __unused)
635e61cba0SAndrew Jones {
6468ea0e0bSAndrew Jones 	int cpu = nr_cpus++;
6562de081aSAndrew Jones 
663a9d03a4SAndrew Jones 	assert_msg(cpu < NR_CPUS, "Number cpus exceeds maximum supported (%d).", NR_CPUS);
673a9d03a4SAndrew Jones 
6868ea0e0bSAndrew Jones 	cpus[cpu] = regval;
6968ea0e0bSAndrew Jones 	set_cpu_present(cpu, true);
705e61cba0SAndrew Jones }
715e61cba0SAndrew Jones 
723d29f825SNikos Nikoleris #ifdef CONFIG_EFI
733d29f825SNikos Nikoleris 
743d29f825SNikos Nikoleris #include <acpi.h>
753d29f825SNikos Nikoleris 
cpu_set_acpi(struct acpi_subtable_header * header)763d29f825SNikos Nikoleris static int cpu_set_acpi(struct acpi_subtable_header *header)
773d29f825SNikos Nikoleris {
783d29f825SNikos Nikoleris 	int cpu = nr_cpus++;
793d29f825SNikos Nikoleris 	struct acpi_madt_generic_interrupt *gicc = (void *)header;
803d29f825SNikos Nikoleris 
813d29f825SNikos Nikoleris 	assert_msg(cpu < NR_CPUS, "Number cpus exceeds maximum supported (%d).", NR_CPUS);
823d29f825SNikos Nikoleris 
833d29f825SNikos Nikoleris 	cpus[cpu] = gicc->arm_mpidr;
843d29f825SNikos Nikoleris 	set_cpu_present(cpu, true);
853d29f825SNikos Nikoleris 
863d29f825SNikos Nikoleris 	return 0;
873d29f825SNikos Nikoleris }
883d29f825SNikos Nikoleris 
cpu_init_acpi(void)893d29f825SNikos Nikoleris static void cpu_init_acpi(void)
903d29f825SNikos Nikoleris {
913d29f825SNikos Nikoleris 	acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT, cpu_set_acpi);
923d29f825SNikos Nikoleris }
933d29f825SNikos Nikoleris 
943d29f825SNikos Nikoleris #else
953d29f825SNikos Nikoleris 
cpu_init_acpi(void)963d29f825SNikos Nikoleris static void cpu_init_acpi(void)
973d29f825SNikos Nikoleris {
983d29f825SNikos Nikoleris 	assert_msg(false, "ACPI not available");
993d29f825SNikos Nikoleris }
1003d29f825SNikos Nikoleris 
1013d29f825SNikos Nikoleris #endif
1023d29f825SNikos Nikoleris 
cpu_init(void)1035e61cba0SAndrew Jones static void cpu_init(void)
1045e61cba0SAndrew Jones {
10518ab6cadSAndrew Jones 	int ret;
10618ab6cadSAndrew Jones 
1075e61cba0SAndrew Jones 	nr_cpus = 0;
1083d29f825SNikos Nikoleris 	if (dt_available()) {
1093d29f825SNikos Nikoleris 		ret = dt_for_each_cpu_node(cpu_set_fdt, NULL);
11018ab6cadSAndrew Jones 		assert(ret == 0);
1113d29f825SNikos Nikoleris 	} else {
1123d29f825SNikos Nikoleris 		cpu_init_acpi();
1133d29f825SNikos Nikoleris 	}
1143d29f825SNikos Nikoleris 
11568ea0e0bSAndrew Jones 	set_cpu_online(0, true);
1165e61cba0SAndrew Jones }
1175e61cba0SAndrew Jones 
arm_memregions_add_assumed(void)1182479ae50SAndrew Jones static void arm_memregions_add_assumed(void)
1195a2a7371SAndrew Jones {
1202479ae50SAndrew Jones 	struct mem_region *code, *data;
1215a2a7371SAndrew Jones 
1225a2a7371SAndrew Jones 	/* Split the region with the code into two regions; code and data */
1232479ae50SAndrew Jones 	memregions_split((unsigned long)&_etext, &code, &data);
1242479ae50SAndrew Jones 	assert(code);
1252479ae50SAndrew Jones 	code->flags |= MR_F_CODE;
1265e61cba0SAndrew Jones 
127ef31e31dSAndrew Jones 	/*
128ef31e31dSAndrew Jones 	 * mach-virt I/O regions:
129ef31e31dSAndrew Jones 	 *   - The first 1G (arm/arm64)
130ef31e31dSAndrew Jones 	 *   - 512M at 256G (arm64, arm uses highmem=off)
131ef31e31dSAndrew Jones 	 *   - 512G at 512G (arm64, arm uses highmem=off)
132ef31e31dSAndrew Jones 	 */
1332479ae50SAndrew Jones 	memregions_add(&(struct mem_region){ 0, (1ul << 30), MR_F_IO });
134ef31e31dSAndrew Jones #ifdef __aarch64__
1352479ae50SAndrew Jones 	memregions_add(&(struct mem_region){ (1ul << 38), (1ul << 38) | (1ul << 29), MR_F_IO });
1362479ae50SAndrew Jones 	memregions_add(&(struct mem_region){ (1ul << 39), (1ul << 40), MR_F_IO });
137ef31e31dSAndrew Jones #endif
13862de081aSAndrew Jones }
1395e61cba0SAndrew Jones 
mem_allocator_init(phys_addr_t freemem_start,phys_addr_t freemem_end)140b7d2a05bSAndrew Jones static void mem_allocator_init(phys_addr_t freemem_start, phys_addr_t freemem_end)
1415a2a7371SAndrew Jones {
1425a2a7371SAndrew Jones 	phys_addr_t base, top;
143b7d2a05bSAndrew Jones 
144b7d2a05bSAndrew Jones 	freemem_start = PAGE_ALIGN(freemem_start);
145b7d2a05bSAndrew Jones 	freemem_end &= PAGE_MASK;
146b7d2a05bSAndrew Jones 
147b7d2a05bSAndrew Jones 	phys_alloc_init(freemem_start, freemem_end - freemem_start);
148b7d2a05bSAndrew Jones 	phys_alloc_set_minimum_alignment(SMP_CACHE_BYTES);
149b7d2a05bSAndrew Jones 
150b7d2a05bSAndrew Jones 	phys_alloc_get_unused(&base, &top);
151b7d2a05bSAndrew Jones 	base = PAGE_ALIGN(base);
152b7d2a05bSAndrew Jones 	top &= PAGE_MASK;
153b7d2a05bSAndrew Jones 	assert(sizeof(long) == 8 || !(base >> 32));
154b7d2a05bSAndrew Jones 	if (sizeof(long) != 8 && (top >> 32) != 0)
155b7d2a05bSAndrew Jones 		top = ((uint64_t)1 << 32);
156b7d2a05bSAndrew Jones 	page_alloc_init_area(0, base >> PAGE_SHIFT, top >> PAGE_SHIFT);
157b7d2a05bSAndrew Jones 	page_alloc_ops_enable();
158b7d2a05bSAndrew Jones }
159b7d2a05bSAndrew Jones 
mem_init(phys_addr_t freemem_start)160b7d2a05bSAndrew Jones static void mem_init(phys_addr_t freemem_start)
161b7d2a05bSAndrew Jones {
1625a2a7371SAndrew Jones 	struct mem_region *freemem, *r, mem = {
1635a2a7371SAndrew Jones 		.start = (phys_addr_t)-1,
1645a2a7371SAndrew Jones 	};
1655a2a7371SAndrew Jones 
1662479ae50SAndrew Jones 	freemem = memregions_find(freemem_start);
1675a2a7371SAndrew Jones 	assert(freemem && !(freemem->flags & (MR_F_IO | MR_F_CODE)));
1685a2a7371SAndrew Jones 
1695a2a7371SAndrew Jones 	for (r = mem_regions; r->end; ++r) {
1705a2a7371SAndrew Jones 		if (!(r->flags & MR_F_IO)) {
171ef31e31dSAndrew Jones 			if (r->start < mem.start)
172ef31e31dSAndrew Jones 				mem.start = r->start;
173ef31e31dSAndrew Jones 			if (r->end > mem.end)
174ef31e31dSAndrew Jones 				mem.end = r->end;
17562de081aSAndrew Jones 		}
1765a2a7371SAndrew Jones 	}
1775a2a7371SAndrew Jones 	assert(mem.end && !(mem.start & ~PHYS_MASK));
1785a2a7371SAndrew Jones 	mem.end &= PHYS_MASK;
17962de081aSAndrew Jones 
1805a2a7371SAndrew Jones 	/* Check for holes */
1812479ae50SAndrew Jones 	r = memregions_find(mem.start);
1825a2a7371SAndrew Jones 	while (r && r->end != mem.end)
1832479ae50SAndrew Jones 		r = memregions_find(r->end);
1845a2a7371SAndrew Jones 	assert(r);
18562de081aSAndrew Jones 
1865a2a7371SAndrew Jones 	/* Ensure our selected freemem range is somewhere in our full range */
1875a2a7371SAndrew Jones 	assert(freemem_start >= mem.start && freemem->end <= mem.end);
188c1cd1a2bSAndrew Jones 
1895a2a7371SAndrew Jones 	__phys_offset = mem.start;	/* PHYS_OFFSET */
1905a2a7371SAndrew Jones 	__phys_end = mem.end;		/* PHYS_END */
1915a2a7371SAndrew Jones 
192b7d2a05bSAndrew Jones 	mem_allocator_init(freemem_start, freemem->end);
1935e61cba0SAndrew Jones }
1945e61cba0SAndrew Jones 
freemem_push_fdt(void ** freemem,const void * fdt)1951c9bc97dSAndrew Jones static void freemem_push_fdt(void **freemem, const void *fdt)
1961c9bc97dSAndrew Jones {
1971c9bc97dSAndrew Jones 	u32 fdt_size;
1981c9bc97dSAndrew Jones 	int ret;
1991c9bc97dSAndrew Jones 
2004e07d331SSuzuki K Poulose #ifndef CONFIG_EFI
2014e07d331SSuzuki K Poulose 	/*
2024e07d331SSuzuki K Poulose 	 * Ensure that the FDT was not overlapping with the uninitialised
2034e07d331SSuzuki K Poulose 	 * data that was overwritten.
2044e07d331SSuzuki K Poulose 	 */
2054e07d331SSuzuki K Poulose 	assert((unsigned long)fdt > (unsigned long)&stacktop);
2064e07d331SSuzuki K Poulose #endif
2074e07d331SSuzuki K Poulose 
2081c9bc97dSAndrew Jones 	fdt_size = fdt_totalsize(fdt);
2091c9bc97dSAndrew Jones 	ret = fdt_move(fdt, *freemem, fdt_size);
2101c9bc97dSAndrew Jones 	assert(ret == 0);
2111c9bc97dSAndrew Jones 	ret = dt_init(*freemem);
2121c9bc97dSAndrew Jones 	assert(ret == 0);
2131c9bc97dSAndrew Jones 	*freemem += fdt_size;
2141c9bc97dSAndrew Jones }
2151c9bc97dSAndrew Jones 
freemem_push_dt_initrd(void ** freemem)2161c9bc97dSAndrew Jones static void freemem_push_dt_initrd(void **freemem)
2171c9bc97dSAndrew Jones {
2181c9bc97dSAndrew Jones 	const char *tmp;
2191c9bc97dSAndrew Jones 	int ret;
2201c9bc97dSAndrew Jones 
2211c9bc97dSAndrew Jones 	ret = dt_get_initrd(&tmp, &initrd_size);
2221c9bc97dSAndrew Jones 	assert(ret == 0 || ret == -FDT_ERR_NOTFOUND);
2231c9bc97dSAndrew Jones 	if (ret == 0) {
2241c9bc97dSAndrew Jones 		initrd = *freemem;
2251c9bc97dSAndrew Jones 		memmove(initrd, tmp, initrd_size);
2261c9bc97dSAndrew Jones 		*freemem += initrd_size;
2271c9bc97dSAndrew Jones 	}
2281c9bc97dSAndrew Jones }
2291c9bc97dSAndrew Jones 
initrd_setup(void)2301c9bc97dSAndrew Jones static void initrd_setup(void)
2311c9bc97dSAndrew Jones {
2321c9bc97dSAndrew Jones 	char *env;
2331c9bc97dSAndrew Jones 
2341c9bc97dSAndrew Jones 	if (!initrd)
2351c9bc97dSAndrew Jones 		return;
2361c9bc97dSAndrew Jones 
2371c9bc97dSAndrew Jones 	/* environ is currently the only file in the initrd */
2381c9bc97dSAndrew Jones 	env = malloc(initrd_size);
2391c9bc97dSAndrew Jones 	memcpy(env, initrd, initrd_size);
2401c9bc97dSAndrew Jones 	setup_env(env, initrd_size);
2411c9bc97dSAndrew Jones }
2421c9bc97dSAndrew Jones 
setup(const void * fdt,phys_addr_t freemem_start)2435a2a7371SAndrew Jones void setup(const void *fdt, phys_addr_t freemem_start)
2445e61cba0SAndrew Jones {
2455a2a7371SAndrew Jones 	void *freemem;
2461c9bc97dSAndrew Jones 	const char *bootargs;
24718ab6cadSAndrew Jones 	int ret;
2485e61cba0SAndrew Jones 
2495a2a7371SAndrew Jones 	assert(sizeof(long) == 8 || freemem_start < (3ul << 30));
2505a2a7371SAndrew Jones 	freemem = (void *)(unsigned long)freemem_start;
2515a2a7371SAndrew Jones 
2521c9bc97dSAndrew Jones 	freemem_push_fdt(&freemem, fdt);
2531c9bc97dSAndrew Jones 	freemem_push_dt_initrd(&freemem);
2542c2545b0SAndrew Jones 
2552479ae50SAndrew Jones 	memregions_init(arm_mem_regions, NR_MEM_REGIONS);
2562479ae50SAndrew Jones 	memregions_add_dt_regions(MAX_DT_MEM_REGIONS);
2572479ae50SAndrew Jones 	arm_memregions_add_assumed();
25862bdc67fSAndrew Jones 	mem_init(PAGE_ALIGN((unsigned long)freemem));
2595a2a7371SAndrew Jones 
260bd5bd157SAndrew Jones 	psci_set_conduit();
2615e61cba0SAndrew Jones 	cpu_init();
2625e61cba0SAndrew Jones 
2634f58b399SAndrew Jones 	/* cpu_init must be called before thread_info_init */
264f6d10793SAndrew Jones 	thread_info_init(current_thread_info(), 0);
265f6d10793SAndrew Jones 
2664f58b399SAndrew Jones 	/* mem_init must be called before io_init */
2674f58b399SAndrew Jones 	io_init();
2684f58b399SAndrew Jones 
269a4110027SAndrew Jones 	timer_save_state();
270a4110027SAndrew Jones 
27118ab6cadSAndrew Jones 	ret = dt_get_bootargs(&bootargs);
272d81b83fdSAndrew Jones 	assert(ret == 0 || ret == -FDT_ERR_NOTFOUND);
273809ebcb3SAndrew Jones 	setup_args_progname(bootargs);
2744968651eSAndrew Jones 
2751c9bc97dSAndrew Jones 	initrd_setup();
276c0edb3d2SAndrew Jones 
277c0edb3d2SAndrew Jones 	if (!(auxinfo.flags & AUXINFO_MMU_OFF))
278c0edb3d2SAndrew Jones 		setup_vm();
2795e61cba0SAndrew Jones }
28023e17626SNikos Nikoleris 
28123e17626SNikos Nikoleris #ifdef CONFIG_EFI
28223e17626SNikos Nikoleris 
28323e17626SNikos Nikoleris #include <efi.h>
28423e17626SNikos Nikoleris 
setup_rsdp(efi_bootinfo_t * efi_bootinfo)28523e17626SNikos Nikoleris static efi_status_t setup_rsdp(efi_bootinfo_t *efi_bootinfo)
28623e17626SNikos Nikoleris {
28723e17626SNikos Nikoleris 	efi_status_t status;
28823e17626SNikos Nikoleris 	struct acpi_table_rsdp *rsdp;
28923e17626SNikos Nikoleris 
29023e17626SNikos Nikoleris 	/*
29123e17626SNikos Nikoleris 	 * RSDP resides in an EFI_ACPI_RECLAIM_MEMORY region, which is not used
29223e17626SNikos Nikoleris 	 * by kvm-unit-tests arm64 memory allocator. So it is not necessary to
29323e17626SNikos Nikoleris 	 * copy the data structure to another memory region to prevent
29423e17626SNikos Nikoleris 	 * unintentional overwrite.
29523e17626SNikos Nikoleris 	 */
29623e17626SNikos Nikoleris 	status = efi_get_system_config_table(ACPI_20_TABLE_GUID, (void **)&rsdp);
29723e17626SNikos Nikoleris 	if (status != EFI_SUCCESS)
29823e17626SNikos Nikoleris 		return status;
29923e17626SNikos Nikoleris 
30023e17626SNikos Nikoleris 	set_efi_rsdp(rsdp);
30123e17626SNikos Nikoleris 
30223e17626SNikos Nikoleris 	return EFI_SUCCESS;
30323e17626SNikos Nikoleris }
30423e17626SNikos Nikoleris 
efi_mem_init(efi_bootinfo_t * efi_bootinfo)30523e17626SNikos Nikoleris static efi_status_t efi_mem_init(efi_bootinfo_t *efi_bootinfo)
30623e17626SNikos Nikoleris {
307fa8e5d67SAndrew Jones 	struct mem_region *freemem_mr = NULL, *code, *data;
308fa8e5d67SAndrew Jones 	phys_addr_t freemem_start;
309fa8e5d67SAndrew Jones 	void *freemem;
31023e17626SNikos Nikoleris 
311fa8e5d67SAndrew Jones 	memregions_efi_init(&efi_bootinfo->mem_map, &freemem_mr);
312fa8e5d67SAndrew Jones 	if (!freemem_mr)
313fa8e5d67SAndrew Jones 		return EFI_OUT_OF_RESOURCES;
3141c9bc97dSAndrew Jones 
315dfccbc76SAndrew Jones 	memregions_split((unsigned long)&_etext, &code, &data);
316dfccbc76SAndrew Jones 	assert(code && (code->flags & MR_F_CODE));
317dfccbc76SAndrew Jones 	if (data)
318dfccbc76SAndrew Jones 		data->flags &= ~MR_F_CODE;
319dfccbc76SAndrew Jones 
320dfccbc76SAndrew Jones 	for (struct mem_region *m = mem_regions; m->end; ++m) {
3216182cb91SAndrew Jones 		if (m != code)
3226182cb91SAndrew Jones 			assert(!(m->flags & MR_F_CODE));
323dfccbc76SAndrew Jones 
324dfccbc76SAndrew Jones 		if (!(m->flags & MR_F_IO)) {
325dfccbc76SAndrew Jones 			if (m->start < __phys_offset)
326dfccbc76SAndrew Jones 				__phys_offset = m->start;
327dfccbc76SAndrew Jones 			if (m->end > __phys_end)
328dfccbc76SAndrew Jones 				__phys_end = m->end;
329dfccbc76SAndrew Jones 		}
330dfccbc76SAndrew Jones 	}
331dfccbc76SAndrew Jones 	__phys_end &= PHYS_MASK;
332dfccbc76SAndrew Jones 
333fa8e5d67SAndrew Jones 	freemem = (void *)PAGE_ALIGN(freemem_mr->start);
3341c9bc97dSAndrew Jones 
335fa8e5d67SAndrew Jones 	if (efi_bootinfo->fdt)
336fa8e5d67SAndrew Jones 		freemem_push_fdt(&freemem, efi_bootinfo->fdt);
3371c9bc97dSAndrew Jones 
338fa8e5d67SAndrew Jones 	freemem_start = PAGE_ALIGN((unsigned long)freemem);
339fa8e5d67SAndrew Jones 	assert(sizeof(long) == 8 || freemem_start < (3ul << 30));
3402e080dafSNikos Nikoleris 
34123e17626SNikos Nikoleris 	asm_mmu_disable();
34223e17626SNikos Nikoleris 
343fa8e5d67SAndrew Jones 	mem_allocator_init(freemem_start, freemem_mr->end);
34423e17626SNikos Nikoleris 
34523e17626SNikos Nikoleris 	return EFI_SUCCESS;
34623e17626SNikos Nikoleris }
34723e17626SNikos Nikoleris 
setup_efi(efi_bootinfo_t * efi_bootinfo)34823e17626SNikos Nikoleris efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo)
34923e17626SNikos Nikoleris {
35023e17626SNikos Nikoleris 	efi_status_t status;
35123e17626SNikos Nikoleris 
35223e17626SNikos Nikoleris 	exceptions_init();
35323e17626SNikos Nikoleris 
3542479ae50SAndrew Jones 	memregions_init(arm_mem_regions, NR_MEM_REGIONS);
3552479ae50SAndrew Jones 
35623e17626SNikos Nikoleris 	status = efi_mem_init(efi_bootinfo);
35723e17626SNikos Nikoleris 	if (status != EFI_SUCCESS) {
35823e17626SNikos Nikoleris 		printf("Failed to initialize memory: ");
35923e17626SNikos Nikoleris 		switch (status) {
36023e17626SNikos Nikoleris 		case EFI_OUT_OF_RESOURCES:
36123e17626SNikos Nikoleris 			printf("No free memory region\n");
36223e17626SNikos Nikoleris 			break;
36323e17626SNikos Nikoleris 		default:
36423e17626SNikos Nikoleris 			printf("Unknown error\n");
36523e17626SNikos Nikoleris 			break;
36623e17626SNikos Nikoleris 		}
36723e17626SNikos Nikoleris 		return status;
36823e17626SNikos Nikoleris 	}
36923e17626SNikos Nikoleris 
3702e080dafSNikos Nikoleris 	if (!dt_available()) {
37123e17626SNikos Nikoleris 		status = setup_rsdp(efi_bootinfo);
37223e17626SNikos Nikoleris 		if (status != EFI_SUCCESS) {
37323e17626SNikos Nikoleris 			printf("Cannot find RSDP in EFI system table\n");
37423e17626SNikos Nikoleris 			return status;
37523e17626SNikos Nikoleris 		}
3762e080dafSNikos Nikoleris 	}
37723e17626SNikos Nikoleris 
37823e17626SNikos Nikoleris 	psci_set_conduit();
37923e17626SNikos Nikoleris 	cpu_init();
38023e17626SNikos Nikoleris 	/* cpu_init must be called before thread_info_init */
38123e17626SNikos Nikoleris 	thread_info_init(current_thread_info(), 0);
38223e17626SNikos Nikoleris 	/* mem_init must be called before io_init */
38323e17626SNikos Nikoleris 	io_init();
38423e17626SNikos Nikoleris 
38523e17626SNikos Nikoleris 	timer_save_state();
38623e17626SNikos Nikoleris 
3871c9bc97dSAndrew Jones 	initrd_setup();
38823e17626SNikos Nikoleris 
38923e17626SNikos Nikoleris 	if (!(auxinfo.flags & AUXINFO_MMU_OFF))
39023e17626SNikos Nikoleris 		setup_vm();
39123e17626SNikos Nikoleris 
39223e17626SNikos Nikoleris 	return EFI_SUCCESS;
39323e17626SNikos Nikoleris }
39423e17626SNikos Nikoleris 
39523e17626SNikos Nikoleris #endif
396