Rev 3922 | Rev 4029 | 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 | ||