15e61cba0SAndrew Jones #ifndef _ASMARM_SETUP_H_ 25e61cba0SAndrew Jones #define _ASMARM_SETUP_H_ 35e61cba0SAndrew Jones /* 45e61cba0SAndrew Jones * Copyright (C) 2014, Red Hat Inc, Andrew Jones <drjones@redhat.com> 55e61cba0SAndrew Jones * 65e61cba0SAndrew Jones * This work is licensed under the terms of the GNU LGPL, version 2. 75e61cba0SAndrew Jones */ 88cca5668SAndrew Jones #include <libcflat.h> 962e6e986SAndrew Jones #include <asm/page.h> 1062e6e986SAndrew Jones #include <asm/pgtable-hwdef.h> 115e61cba0SAndrew Jones 122f03234dSAndrew Jones #define NR_CPUS 511 13da905c9dSAndrew Jones extern u64 cpus[NR_CPUS]; /* per-cpu IDs (MPIDRs) */ 145e61cba0SAndrew Jones extern int nr_cpus; 155e61cba0SAndrew Jones 165e61cba0SAndrew Jones extern phys_addr_t __phys_offset, __phys_end; 175e61cba0SAndrew Jones 185e61cba0SAndrew Jones #define PHYS_OFFSET (__phys_offset) 195e61cba0SAndrew Jones #define PHYS_END (__phys_end) 205e61cba0SAndrew Jones 215e61cba0SAndrew Jones #define L1_CACHE_SHIFT 6 225e61cba0SAndrew Jones #define L1_CACHE_BYTES (1 << L1_CACHE_SHIFT) 235e61cba0SAndrew Jones #define SMP_CACHE_BYTES L1_CACHE_BYTES 245e61cba0SAndrew Jones 255a2a7371SAndrew Jones void setup(const void *fdt, phys_addr_t freemem_start); 260df901e0SAndrew Jones 27*23e17626SNikos Nikoleris #ifdef CONFIG_EFI 28*23e17626SNikos Nikoleris 29*23e17626SNikos Nikoleris #include <efi.h> 30*23e17626SNikos Nikoleris 31*23e17626SNikos Nikoleris efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo); 32*23e17626SNikos Nikoleris 33*23e17626SNikos Nikoleris #endif 34*23e17626SNikos Nikoleris 355e61cba0SAndrew Jones #endif /* _ASMARM_SETUP_H_ */ 36