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 |