Rev 3922 | Rev 4027 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3922 | Rev 4023 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #include <arch/regutils.h> |
47 | #include <arch/regutils.h> |
| 48 | #include <arch/machine.h> |
48 | #include <arch/machine.h> |
| 49 | #include <userspace.h> |
49 | #include <userspace.h> |
| 50 | #include <macros.h> |
50 | #include <macros.h> |
| 51 | 51 | ||
| 52 | /** Performs arm32 specific initialization before main_bsp() is called. */ |
52 | /** Performs arm32-specific initialization before main_bsp() is called. */ |
| 53 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
53 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
| 54 | { |
54 | { |
| 55 | unsigned int i; |
55 | unsigned int i; |
| 56 | 56 | ||
| 57 | init.cnt = bootinfo->cnt; |
57 | init.cnt = bootinfo->cnt; |