/kernel/trunk/arch/ia32/src/smp/smp.c |
---|
43,7 → 43,6 |
#include <mm/frame.h> |
#include <mm/page.h> |
#include <mm/heap.h> |
#include <mm/asid.h> |
#include <print.h> |
#include <memstr.h> |
#include <arch/i8259.h> |
64,9 → 63,9 |
} |
if (config.cpu_count > 1) { |
page_mapping_insert((__address)l_apic, ASID_KERNEL, (__address)l_apic, |
page_mapping_insert((__address)l_apic, (__address)l_apic, |
PAGE_NOT_CACHEABLE, 0); |
page_mapping_insert((__address) io_apic, ASID_KERNEL, |
page_mapping_insert((__address) io_apic, |
(__address) io_apic, |
PAGE_NOT_CACHEABLE, 0); |
} |