61,6 → 61,7 |
#include <proc/thread.h> |
#include <syscall/syscall.h> |
#include <console/console.h> |
#include <ddi/irq.h> |
|
start_info_t start_info; |
memzone_t meminfo; |
128,14 → 129,9 |
pm_init(); |
|
if (config.cpu_active == 1) { |
interrupt_init(); |
// bios_init(); |
|
exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall); |
|
#ifdef CONFIG_SMP |
exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
(iroutine) tlb_shootdown_ipi); |
#endif /* CONFIG_SMP */ |
} |
} |
|
142,10 → 138,15 |
void arch_post_mm_init(void) |
{ |
if (config.cpu_active == 1) { |
/* video */ |
/* Initialize IRQ routing */ |
irq_init(IRQ_COUNT, IRQ_COUNT); |
|
/* Video */ |
xen_console_init(); |
|
/* Enable debugger */ |
debugger_init(); |
|
/* Merge all memory zones to 1 big zone */ |
zone_merge_all(); |
} |