Rev 3900 | Rev 4042 | 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 |