/kernel/trunk/arch/ia32/src/ia32.c |
---|
76,7 → 76,7 |
} |
} |
void arch_late_init(void) |
void arch_pre_smp_init(void) |
{ |
if (config.cpu_active == 1) { |
memory_print_map(); |
87,6 → 87,11 |
} |
} |
void arch_post_smp_init(void) |
{ |
trap_virtual_enable_irqs(1<<IRQ_KBD); |
} |
void calibrate_delay_loop(void) |
{ |
i8254_calibrate_delay_loop(); |