Rev 3922 | Rev 4027 | Go to most recent revision | Show entire file | Regard 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; |