Rev 4669 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4669 | Rev 4675 | ||
|---|---|---|---|
| Line 38... | Line 38... | ||
| 38 | #include <genarch/fb/fb.h> |
38 | #include <genarch/fb/fb.h> |
| 39 | #include <genarch/fb/visuals.h> |
39 | #include <genarch/fb/visuals.h> |
| 40 | #include <sysinfo/sysinfo.h> |
40 | #include <sysinfo/sysinfo.h> |
| 41 | #include <console/console.h> |
41 | #include <console/console.h> |
| 42 | #include <ddi/irq.h> |
42 | #include <ddi/irq.h> |
| 43 | #include <arch/machine.h> |
- | |
| 44 | #include <print.h> |
43 | #include <print.h> |
| 45 | #include <config.h> |
44 | #include <config.h> |
| 46 | #include <interrupt.h> |
45 | #include <interrupt.h> |
| 47 | #include <arch/regutils.h> |
46 | #include <arch/regutils.h> |
| 48 | #include <userspace.h> |
47 | #include <userspace.h> |
| 49 | #include <macros.h> |
48 | #include <macros.h> |
| 50 | #include <string.h> |
49 | #include <string.h> |
| 51 | 50 | ||
| - | 51 | #ifdef MACHINE_testarm |
|
| - | 52 | #include <arch/mach/testarm/testarm.h> |
|
| - | 53 | #endif |
|
| - | 54 | ||
| - | 55 | #ifdef MACHINE_integratorcp |
|
| - | 56 | #include <arch/mach/integratorcp/integratorcp.h> |
|
| - | 57 | #endif |
|
| - | 58 | ||
| - | 59 | ||
| 52 | /** Performs arm32-specific initialization before main_bsp() is called. */ |
60 | /** Performs arm32-specific initialization before main_bsp() is called. */ |
| 53 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
61 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
| 54 | { |
62 | { |
| 55 | unsigned int i; |
63 | unsigned int i; |
| 56 | 64 | ||