| 90,7 → 90,6 |
|---|
| |
| void arch_pre_main(void) |
| { |
| dprintf("arch_pre_main\n"); |
| int i; |
| |
| init.cnt = bootinfo.cnt; |
| 103,8 → 102,6 |
|---|
| |
| void arch_pre_mm_init(void) |
| { |
| dprintf("arch_pre_mm_init\n"); |
| |
| /* It is not assumed by default */ |
| interrupts_disable(); |
| |
| 115,21 → 112,18 |
|---|
| |
| void arch_post_mm_init(void) |
| { |
| // dprintf("arch_post_mm_init start()\n"); |
| gxemul_hw_map_init(); |
| |
| /* Initialize dispatch table */ |
| exception_init(); |
| |
| // drivers_init(); |
| interrupt_init(); |
| |
| console_init(device_assign_devno()); |
| |
| //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
| |
| interrupts_enable(); |
| dprintf("arch_post_mm_init end()\n"); |
| |
| } |
| |
| void arch_post_cpu_init(void) |