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; |