Rev 3982 | Rev 4026 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3982 | Rev 4023 | ||
|---|---|---|---|
| Line 68... | Line 68... | ||
| 68 | 68 | ||
| 69 | bootinfo_t *bootinfo; |
69 | bootinfo_t *bootinfo; |
| 70 | 70 | ||
| 71 | static uint64_t iosapic_base = 0xfec00000; |
71 | static uint64_t iosapic_base = 0xfec00000; |
| 72 | 72 | ||
| - | 73 | /** Performs ia64-specific initialization before main_bsp() is called. */ |
|
| 73 | void arch_pre_main(void) |
74 | void arch_pre_main(void) |
| 74 | { |
75 | { |
| 75 | /* Setup usermode init tasks. */ |
76 | /* Setup usermode init tasks. */ |
| 76 | 77 | ||
| 77 | unsigned int i; |
78 | unsigned int i; |