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