/SPARTAN/trunk/arch/amd64/src/amd64.c |
---|
38,6 → 38,7 |
#include <arch/i8259.h> |
#include <arch/bios/bios.h> |
#include <arch/mm/memory_init.h> |
void arch_pre_mm_init(void) |
{ |
64,3 → 65,21 |
ega_init(); /* video */ |
} |
} |
void arch_late_init(void) |
{ |
if (config.cpu_active == 1) { |
memory_print_map(); |
#ifdef __SMP__ |
acpi_init(); |
#endif /* __SMP__ */ |
} |
} |
void calibrate_delay_loop(void) |
{ |
return; |
i8254_calibrate_delay_loop(); |
i8254_normal_operation(); |
} |