void init_interrupt(void){ map_pages(MAP_LAPIC,lapic_base,LAPIC_SIZE); init_idt(); init_lapic(MAP_LAPIC + (lapic_base & (PAGE_SIZE - 1))); }
void arch_cpu_processor_init_2(void) { acpi_init(); x86_hpet_init(); #if _DBOS_KERNEL_HAVE_CPU_SMP probe_smp(); init_lapic(); calibrate_lapic_timer(1000); init_ioapic(); set_ksf(KSF_SMP_ENABLE); #endif }