Rev 3922 | Rev 4046 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3922 | Rev 4023 | ||
---|---|---|---|
Line 74... | Line 74... | ||
74 | /* Stack pointer saved when entering user mode */ |
74 | /* Stack pointer saved when entering user mode */ |
75 | uintptr_t supervisor_sp __attribute__ ((section (".text"))); |
75 | uintptr_t supervisor_sp __attribute__ ((section (".text"))); |
76 | 76 | ||
77 | count_t cpu_count = 0; |
77 | count_t cpu_count = 0; |
78 | 78 | ||
- | 79 | /** Performs mips32-specific initialization before main_bsp() is called. */ |
|
79 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
80 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
80 | { |
81 | { |
81 | /* Setup usermode */ |
82 | /* Setup usermode */ |
82 | init.cnt = bootinfo->cnt; |
83 | init.cnt = bootinfo->cnt; |
83 | 84 |