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 3423e17626SNikos Nikoleris #define NR_EXTRA_MEM_REGIONS 64 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; 385e61cba0SAndrew Jones 392c2545b0SAndrew Jones char *initrd; 402c2545b0SAndrew Jones u32 initrd_size; 412c2545b0SAndrew Jones 42da905c9dSAndrew Jones u64 cpus[NR_CPUS] = { [0 ... NR_CPUS-1] = (u64)~0 }; 435e61cba0SAndrew Jones int nr_cpus; 445e61cba0SAndrew Jones 452479ae50SAndrew Jones static struct mem_region arm_mem_regions[NR_MEM_REGIONS + 1]; 4623e17626SNikos Nikoleris phys_addr_t __phys_offset = (phys_addr_t)-1, __phys_end = 0; 4723e17626SNikos Nikoleris 4823e17626SNikos Nikoleris extern void exceptions_init(void); 4923e17626SNikos Nikoleris extern void asm_mmu_disable(void); 505e61cba0SAndrew Jones 51d9729025SAndrew Jones int mpidr_to_cpu(uint64_t mpidr) 52d9729025SAndrew Jones { 53d9729025SAndrew Jones int i; 54d9729025SAndrew Jones 55d9729025SAndrew Jones for (i = 0; i < nr_cpus; ++i) 56d9729025SAndrew Jones if (cpus[i] == (mpidr & MPIDR_HWID_BITMASK)) 57d9729025SAndrew Jones return i; 58d9729025SAndrew Jones return -1; 59d9729025SAndrew Jones } 60d9729025SAndrew Jones 613d29f825SNikos Nikoleris static void cpu_set_fdt(int fdtnode __unused, u64 regval, void *info __unused) 625e61cba0SAndrew Jones { 6368ea0e0bSAndrew Jones int cpu = nr_cpus++; 6462de081aSAndrew Jones 653a9d03a4SAndrew Jones assert_msg(cpu < NR_CPUS, "Number cpus exceeds maximum supported (%d).", NR_CPUS); 663a9d03a4SAndrew Jones 6768ea0e0bSAndrew Jones cpus[cpu] = regval; 6868ea0e0bSAndrew Jones set_cpu_present(cpu, true); 695e61cba0SAndrew Jones } 705e61cba0SAndrew Jones 713d29f825SNikos Nikoleris #ifdef CONFIG_EFI 723d29f825SNikos Nikoleris 733d29f825SNikos Nikoleris #include <acpi.h> 743d29f825SNikos Nikoleris 753d29f825SNikos Nikoleris static int cpu_set_acpi(struct acpi_subtable_header *header) 763d29f825SNikos Nikoleris { 773d29f825SNikos Nikoleris int cpu = nr_cpus++; 783d29f825SNikos Nikoleris struct acpi_madt_generic_interrupt *gicc = (void *)header; 793d29f825SNikos Nikoleris 803d29f825SNikos Nikoleris assert_msg(cpu < NR_CPUS, "Number cpus exceeds maximum supported (%d).", NR_CPUS); 813d29f825SNikos Nikoleris 823d29f825SNikos Nikoleris cpus[cpu] = gicc->arm_mpidr; 833d29f825SNikos Nikoleris set_cpu_present(cpu, true); 843d29f825SNikos Nikoleris 853d29f825SNikos Nikoleris return 0; 863d29f825SNikos Nikoleris } 873d29f825SNikos Nikoleris 883d29f825SNikos Nikoleris static void cpu_init_acpi(void) 893d29f825SNikos Nikoleris { 903d29f825SNikos Nikoleris acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT, cpu_set_acpi); 913d29f825SNikos Nikoleris } 923d29f825SNikos Nikoleris 933d29f825SNikos Nikoleris #else 943d29f825SNikos Nikoleris 953d29f825SNikos Nikoleris static void cpu_init_acpi(void) 963d29f825SNikos Nikoleris { 973d29f825SNikos Nikoleris assert_msg(false, "ACPI not available"); 983d29f825SNikos Nikoleris } 993d29f825SNikos Nikoleris 1003d29f825SNikos Nikoleris #endif 1013d29f825SNikos Nikoleris 1025e61cba0SAndrew Jones static void cpu_init(void) 1035e61cba0SAndrew Jones { 10418ab6cadSAndrew Jones int ret; 10518ab6cadSAndrew Jones 1065e61cba0SAndrew Jones nr_cpus = 0; 1073d29f825SNikos Nikoleris if (dt_available()) { 1083d29f825SNikos Nikoleris ret = dt_for_each_cpu_node(cpu_set_fdt, NULL); 10918ab6cadSAndrew Jones assert(ret == 0); 1103d29f825SNikos Nikoleris } else { 1113d29f825SNikos Nikoleris cpu_init_acpi(); 1123d29f825SNikos Nikoleris } 1133d29f825SNikos Nikoleris 11468ea0e0bSAndrew Jones set_cpu_online(0, true); 1155e61cba0SAndrew Jones } 1165e61cba0SAndrew Jones 1172479ae50SAndrew Jones static void arm_memregions_add_assumed(void) 1185a2a7371SAndrew Jones { 1192479ae50SAndrew Jones struct mem_region *code, *data; 1205a2a7371SAndrew Jones 1215a2a7371SAndrew Jones /* Split the region with the code into two regions; code and data */ 1222479ae50SAndrew Jones memregions_split((unsigned long)&_etext, &code, &data); 1232479ae50SAndrew Jones assert(code); 1242479ae50SAndrew Jones code->flags |= MR_F_CODE; 1255e61cba0SAndrew Jones 126ef31e31dSAndrew Jones /* 127ef31e31dSAndrew Jones * mach-virt I/O regions: 128ef31e31dSAndrew Jones * - The first 1G (arm/arm64) 129ef31e31dSAndrew Jones * - 512M at 256G (arm64, arm uses highmem=off) 130ef31e31dSAndrew Jones * - 512G at 512G (arm64, arm uses highmem=off) 131ef31e31dSAndrew Jones */ 1322479ae50SAndrew Jones memregions_add(&(struct mem_region){ 0, (1ul << 30), MR_F_IO }); 133ef31e31dSAndrew Jones #ifdef __aarch64__ 1342479ae50SAndrew Jones memregions_add(&(struct mem_region){ (1ul << 38), (1ul << 38) | (1ul << 29), MR_F_IO }); 1352479ae50SAndrew Jones memregions_add(&(struct mem_region){ (1ul << 39), (1ul << 40), MR_F_IO }); 136ef31e31dSAndrew Jones #endif 13762de081aSAndrew Jones } 1385e61cba0SAndrew Jones 139b7d2a05bSAndrew Jones static void mem_allocator_init(phys_addr_t freemem_start, phys_addr_t freemem_end) 1405a2a7371SAndrew Jones { 1415a2a7371SAndrew Jones phys_addr_t base, top; 142b7d2a05bSAndrew Jones 143b7d2a05bSAndrew Jones freemem_start = PAGE_ALIGN(freemem_start); 144b7d2a05bSAndrew Jones freemem_end &= PAGE_MASK; 145b7d2a05bSAndrew Jones 146b7d2a05bSAndrew Jones phys_alloc_init(freemem_start, freemem_end - freemem_start); 147b7d2a05bSAndrew Jones phys_alloc_set_minimum_alignment(SMP_CACHE_BYTES); 148b7d2a05bSAndrew Jones 149b7d2a05bSAndrew Jones phys_alloc_get_unused(&base, &top); 150b7d2a05bSAndrew Jones base = PAGE_ALIGN(base); 151b7d2a05bSAndrew Jones top &= PAGE_MASK; 152b7d2a05bSAndrew Jones assert(sizeof(long) == 8 || !(base >> 32)); 153b7d2a05bSAndrew Jones if (sizeof(long) != 8 && (top >> 32) != 0) 154b7d2a05bSAndrew Jones top = ((uint64_t)1 << 32); 155b7d2a05bSAndrew Jones page_alloc_init_area(0, base >> PAGE_SHIFT, top >> PAGE_SHIFT); 156b7d2a05bSAndrew Jones page_alloc_ops_enable(); 157b7d2a05bSAndrew Jones } 158b7d2a05bSAndrew Jones 159b7d2a05bSAndrew Jones static void mem_init(phys_addr_t freemem_start) 160b7d2a05bSAndrew Jones { 1615a2a7371SAndrew Jones struct mem_region *freemem, *r, mem = { 1625a2a7371SAndrew Jones .start = (phys_addr_t)-1, 1635a2a7371SAndrew Jones }; 1645a2a7371SAndrew Jones 1652479ae50SAndrew Jones freemem = memregions_find(freemem_start); 1665a2a7371SAndrew Jones assert(freemem && !(freemem->flags & (MR_F_IO | MR_F_CODE))); 1675a2a7371SAndrew Jones 1685a2a7371SAndrew Jones for (r = mem_regions; r->end; ++r) { 1695a2a7371SAndrew Jones if (!(r->flags & MR_F_IO)) { 170ef31e31dSAndrew Jones if (r->start < mem.start) 171ef31e31dSAndrew Jones mem.start = r->start; 172ef31e31dSAndrew Jones if (r->end > mem.end) 173ef31e31dSAndrew Jones mem.end = r->end; 17462de081aSAndrew Jones } 1755a2a7371SAndrew Jones } 1765a2a7371SAndrew Jones assert(mem.end && !(mem.start & ~PHYS_MASK)); 1775a2a7371SAndrew Jones mem.end &= PHYS_MASK; 17862de081aSAndrew Jones 1795a2a7371SAndrew Jones /* Check for holes */ 1802479ae50SAndrew Jones r = memregions_find(mem.start); 1815a2a7371SAndrew Jones while (r && r->end != mem.end) 1822479ae50SAndrew Jones r = memregions_find(r->end); 1835a2a7371SAndrew Jones assert(r); 18462de081aSAndrew Jones 1855a2a7371SAndrew Jones /* Ensure our selected freemem range is somewhere in our full range */ 1865a2a7371SAndrew Jones assert(freemem_start >= mem.start && freemem->end <= mem.end); 187c1cd1a2bSAndrew Jones 1885a2a7371SAndrew Jones __phys_offset = mem.start; /* PHYS_OFFSET */ 1895a2a7371SAndrew Jones __phys_end = mem.end; /* PHYS_END */ 1905a2a7371SAndrew Jones 191b7d2a05bSAndrew Jones mem_allocator_init(freemem_start, freemem->end); 1925e61cba0SAndrew Jones } 1935e61cba0SAndrew Jones 1941c9bc97dSAndrew Jones static void freemem_push_fdt(void **freemem, const void *fdt) 1951c9bc97dSAndrew Jones { 1961c9bc97dSAndrew Jones u32 fdt_size; 1971c9bc97dSAndrew Jones int ret; 1981c9bc97dSAndrew Jones 1991c9bc97dSAndrew Jones fdt_size = fdt_totalsize(fdt); 2001c9bc97dSAndrew Jones ret = fdt_move(fdt, *freemem, fdt_size); 2011c9bc97dSAndrew Jones assert(ret == 0); 2021c9bc97dSAndrew Jones ret = dt_init(*freemem); 2031c9bc97dSAndrew Jones assert(ret == 0); 2041c9bc97dSAndrew Jones *freemem += fdt_size; 2051c9bc97dSAndrew Jones } 2061c9bc97dSAndrew Jones 2071c9bc97dSAndrew Jones static void freemem_push_dt_initrd(void **freemem) 2081c9bc97dSAndrew Jones { 2091c9bc97dSAndrew Jones const char *tmp; 2101c9bc97dSAndrew Jones int ret; 2111c9bc97dSAndrew Jones 2121c9bc97dSAndrew Jones ret = dt_get_initrd(&tmp, &initrd_size); 2131c9bc97dSAndrew Jones assert(ret == 0 || ret == -FDT_ERR_NOTFOUND); 2141c9bc97dSAndrew Jones if (ret == 0) { 2151c9bc97dSAndrew Jones initrd = *freemem; 2161c9bc97dSAndrew Jones memmove(initrd, tmp, initrd_size); 2171c9bc97dSAndrew Jones *freemem += initrd_size; 2181c9bc97dSAndrew Jones } 2191c9bc97dSAndrew Jones } 2201c9bc97dSAndrew Jones 2211c9bc97dSAndrew Jones static void initrd_setup(void) 2221c9bc97dSAndrew Jones { 2231c9bc97dSAndrew Jones char *env; 2241c9bc97dSAndrew Jones 2251c9bc97dSAndrew Jones if (!initrd) 2261c9bc97dSAndrew Jones return; 2271c9bc97dSAndrew Jones 2281c9bc97dSAndrew Jones /* environ is currently the only file in the initrd */ 2291c9bc97dSAndrew Jones env = malloc(initrd_size); 2301c9bc97dSAndrew Jones memcpy(env, initrd, initrd_size); 2311c9bc97dSAndrew Jones setup_env(env, initrd_size); 2321c9bc97dSAndrew Jones } 2331c9bc97dSAndrew Jones 2345a2a7371SAndrew Jones void setup(const void *fdt, phys_addr_t freemem_start) 2355e61cba0SAndrew Jones { 2365a2a7371SAndrew Jones void *freemem; 2371c9bc97dSAndrew Jones const char *bootargs; 23818ab6cadSAndrew Jones int ret; 2395e61cba0SAndrew Jones 2405a2a7371SAndrew Jones assert(sizeof(long) == 8 || freemem_start < (3ul << 30)); 2415a2a7371SAndrew Jones freemem = (void *)(unsigned long)freemem_start; 2425a2a7371SAndrew Jones 2431c9bc97dSAndrew Jones freemem_push_fdt(&freemem, fdt); 2441c9bc97dSAndrew Jones freemem_push_dt_initrd(&freemem); 2452c2545b0SAndrew Jones 2462479ae50SAndrew Jones memregions_init(arm_mem_regions, NR_MEM_REGIONS); 2472479ae50SAndrew Jones memregions_add_dt_regions(MAX_DT_MEM_REGIONS); 2482479ae50SAndrew Jones arm_memregions_add_assumed(); 24962bdc67fSAndrew Jones mem_init(PAGE_ALIGN((unsigned long)freemem)); 2505a2a7371SAndrew Jones 251bd5bd157SAndrew Jones psci_set_conduit(); 2525e61cba0SAndrew Jones cpu_init(); 2535e61cba0SAndrew Jones 2544f58b399SAndrew Jones /* cpu_init must be called before thread_info_init */ 255f6d10793SAndrew Jones thread_info_init(current_thread_info(), 0); 256f6d10793SAndrew Jones 2574f58b399SAndrew Jones /* mem_init must be called before io_init */ 2584f58b399SAndrew Jones io_init(); 2594f58b399SAndrew Jones 260a4110027SAndrew Jones timer_save_state(); 261a4110027SAndrew Jones 26218ab6cadSAndrew Jones ret = dt_get_bootargs(&bootargs); 263d81b83fdSAndrew Jones assert(ret == 0 || ret == -FDT_ERR_NOTFOUND); 264809ebcb3SAndrew Jones setup_args_progname(bootargs); 2654968651eSAndrew Jones 2661c9bc97dSAndrew Jones initrd_setup(); 267c0edb3d2SAndrew Jones 268c0edb3d2SAndrew Jones if (!(auxinfo.flags & AUXINFO_MMU_OFF)) 269c0edb3d2SAndrew Jones setup_vm(); 2705e61cba0SAndrew Jones } 27123e17626SNikos Nikoleris 27223e17626SNikos Nikoleris #ifdef CONFIG_EFI 27323e17626SNikos Nikoleris 27423e17626SNikos Nikoleris #include <efi.h> 27523e17626SNikos Nikoleris 27623e17626SNikos Nikoleris static efi_status_t setup_rsdp(efi_bootinfo_t *efi_bootinfo) 27723e17626SNikos Nikoleris { 27823e17626SNikos Nikoleris efi_status_t status; 27923e17626SNikos Nikoleris struct acpi_table_rsdp *rsdp; 28023e17626SNikos Nikoleris 28123e17626SNikos Nikoleris /* 28223e17626SNikos Nikoleris * RSDP resides in an EFI_ACPI_RECLAIM_MEMORY region, which is not used 28323e17626SNikos Nikoleris * by kvm-unit-tests arm64 memory allocator. So it is not necessary to 28423e17626SNikos Nikoleris * copy the data structure to another memory region to prevent 28523e17626SNikos Nikoleris * unintentional overwrite. 28623e17626SNikos Nikoleris */ 28723e17626SNikos Nikoleris status = efi_get_system_config_table(ACPI_20_TABLE_GUID, (void **)&rsdp); 28823e17626SNikos Nikoleris if (status != EFI_SUCCESS) 28923e17626SNikos Nikoleris return status; 29023e17626SNikos Nikoleris 29123e17626SNikos Nikoleris set_efi_rsdp(rsdp); 29223e17626SNikos Nikoleris 29323e17626SNikos Nikoleris return EFI_SUCCESS; 29423e17626SNikos Nikoleris } 29523e17626SNikos Nikoleris 29623e17626SNikos Nikoleris static efi_status_t efi_mem_init(efi_bootinfo_t *efi_bootinfo) 29723e17626SNikos Nikoleris { 298fa8e5d67SAndrew Jones struct mem_region *freemem_mr = NULL, *code, *data; 299fa8e5d67SAndrew Jones phys_addr_t freemem_start; 300fa8e5d67SAndrew Jones void *freemem; 30123e17626SNikos Nikoleris 302fa8e5d67SAndrew Jones memregions_efi_init(&efi_bootinfo->mem_map, &freemem_mr); 303fa8e5d67SAndrew Jones if (!freemem_mr) 304fa8e5d67SAndrew Jones return EFI_OUT_OF_RESOURCES; 3051c9bc97dSAndrew Jones 306dfccbc76SAndrew Jones memregions_split((unsigned long)&_etext, &code, &data); 307dfccbc76SAndrew Jones assert(code && (code->flags & MR_F_CODE)); 308dfccbc76SAndrew Jones if (data) 309dfccbc76SAndrew Jones data->flags &= ~MR_F_CODE; 310dfccbc76SAndrew Jones 311dfccbc76SAndrew Jones for (struct mem_region *m = mem_regions; m->end; ++m) { 312*6182cb91SAndrew Jones if (m != code) 313*6182cb91SAndrew Jones assert(!(m->flags & MR_F_CODE)); 314dfccbc76SAndrew Jones 315dfccbc76SAndrew Jones if (!(m->flags & MR_F_IO)) { 316dfccbc76SAndrew Jones if (m->start < __phys_offset) 317dfccbc76SAndrew Jones __phys_offset = m->start; 318dfccbc76SAndrew Jones if (m->end > __phys_end) 319dfccbc76SAndrew Jones __phys_end = m->end; 320dfccbc76SAndrew Jones } 321dfccbc76SAndrew Jones } 322dfccbc76SAndrew Jones __phys_end &= PHYS_MASK; 323dfccbc76SAndrew Jones 324fa8e5d67SAndrew Jones freemem = (void *)PAGE_ALIGN(freemem_mr->start); 3251c9bc97dSAndrew Jones 326fa8e5d67SAndrew Jones if (efi_bootinfo->fdt) 327fa8e5d67SAndrew Jones freemem_push_fdt(&freemem, efi_bootinfo->fdt); 3281c9bc97dSAndrew Jones 329fa8e5d67SAndrew Jones freemem_start = PAGE_ALIGN((unsigned long)freemem); 330fa8e5d67SAndrew Jones assert(sizeof(long) == 8 || freemem_start < (3ul << 30)); 3312e080dafSNikos Nikoleris 33223e17626SNikos Nikoleris asm_mmu_disable(); 33323e17626SNikos Nikoleris 334fa8e5d67SAndrew Jones mem_allocator_init(freemem_start, freemem_mr->end); 33523e17626SNikos Nikoleris 33623e17626SNikos Nikoleris return EFI_SUCCESS; 33723e17626SNikos Nikoleris } 33823e17626SNikos Nikoleris 33923e17626SNikos Nikoleris efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo) 34023e17626SNikos Nikoleris { 34123e17626SNikos Nikoleris efi_status_t status; 34223e17626SNikos Nikoleris 34323e17626SNikos Nikoleris struct thread_info *ti = current_thread_info(); 34423e17626SNikos Nikoleris 34523e17626SNikos Nikoleris memset(ti, 0, sizeof(*ti)); 34623e17626SNikos Nikoleris 34723e17626SNikos Nikoleris exceptions_init(); 34823e17626SNikos Nikoleris 3492479ae50SAndrew Jones memregions_init(arm_mem_regions, NR_MEM_REGIONS); 3502479ae50SAndrew Jones 35123e17626SNikos Nikoleris status = efi_mem_init(efi_bootinfo); 35223e17626SNikos Nikoleris if (status != EFI_SUCCESS) { 35323e17626SNikos Nikoleris printf("Failed to initialize memory: "); 35423e17626SNikos Nikoleris switch (status) { 35523e17626SNikos Nikoleris case EFI_OUT_OF_RESOURCES: 35623e17626SNikos Nikoleris printf("No free memory region\n"); 35723e17626SNikos Nikoleris break; 35823e17626SNikos Nikoleris default: 35923e17626SNikos Nikoleris printf("Unknown error\n"); 36023e17626SNikos Nikoleris break; 36123e17626SNikos Nikoleris } 36223e17626SNikos Nikoleris return status; 36323e17626SNikos Nikoleris } 36423e17626SNikos Nikoleris 3652e080dafSNikos Nikoleris if (!dt_available()) { 36623e17626SNikos Nikoleris status = setup_rsdp(efi_bootinfo); 36723e17626SNikos Nikoleris if (status != EFI_SUCCESS) { 36823e17626SNikos Nikoleris printf("Cannot find RSDP in EFI system table\n"); 36923e17626SNikos Nikoleris return status; 37023e17626SNikos Nikoleris } 3712e080dafSNikos Nikoleris } 37223e17626SNikos Nikoleris 37323e17626SNikos Nikoleris psci_set_conduit(); 37423e17626SNikos Nikoleris cpu_init(); 37523e17626SNikos Nikoleris /* cpu_init must be called before thread_info_init */ 37623e17626SNikos Nikoleris thread_info_init(current_thread_info(), 0); 37723e17626SNikos Nikoleris /* mem_init must be called before io_init */ 37823e17626SNikos Nikoleris io_init(); 37923e17626SNikos Nikoleris 38023e17626SNikos Nikoleris timer_save_state(); 38123e17626SNikos Nikoleris 3821c9bc97dSAndrew Jones initrd_setup(); 38323e17626SNikos Nikoleris 38423e17626SNikos Nikoleris if (!(auxinfo.flags & AUXINFO_MMU_OFF)) 38523e17626SNikos Nikoleris setup_vm(); 38623e17626SNikos Nikoleris 38723e17626SNikos Nikoleris return EFI_SUCCESS; 38823e17626SNikos Nikoleris } 38923e17626SNikos Nikoleris 39023e17626SNikos Nikoleris #endif 391