Rev 2264 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2264 | Rev 2270 | ||
---|---|---|---|
Line 71... | Line 71... | ||
71 | dprintf("arch_pre_mm_init\n"); |
71 | dprintf("arch_pre_mm_init\n"); |
72 | 72 | ||
73 | /* It is not assumed by default */ |
73 | /* It is not assumed by default */ |
74 | interrupts_disable(); |
74 | interrupts_disable(); |
75 | 75 | ||
76 | /* Initialize dispatch table */ |
- | |
77 | exception_init(); |
- | |
78 | } |
76 | } |
79 | 77 | ||
80 | void arch_post_mm_init(void) |
78 | void arch_post_mm_init(void) |
81 | { |
79 | { |
82 | dprintf("arch_post_mm_init start()\n"); |
80 | dprintf("arch_post_mm_init start()\n"); |
- | 81 | /* Initialize dispatch table |
|
- | 82 | Note: Have to be after page_init() */ |
|
- | 83 | exception_init(); |
|
- | 84 | ||
83 | drivers_init(); |
85 | drivers_init(); |
84 | interrupt_init(); |
86 | interrupt_init(); |
85 | 87 | ||
86 | console_init(device_assign_devno()); |
88 | console_init(device_assign_devno()); |
87 | //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
89 | //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |