Rev 3900 | Rev 4032 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3900 | Rev 4023 | ||
|---|---|---|---|
| Line 48... | Line 48... | ||
| 48 | #include <userspace.h> |
48 | #include <userspace.h> |
| 49 | #include <ddi/irq.h> |
49 | #include <ddi/irq.h> |
| 50 | 50 | ||
| 51 | bootinfo_t bootinfo; |
51 | bootinfo_t bootinfo; |
| 52 | 52 | ||
| 53 | /** Perform sparc64 specific initialization before main_bsp() is called. */ |
53 | /** Perform sparc64-specific initialization before main_bsp() is called. */ |
| 54 | void arch_pre_main(void) |
54 | void arch_pre_main(void) |
| 55 | { |
55 | { |
| 56 | /* Copy init task info. */ |
56 | /* Copy init task info. */ |
| 57 | init.cnt = bootinfo.taskmap.count; |
57 | init.cnt = bootinfo.taskmap.count; |
| 58 | 58 | ||