/kernel/trunk/arch/ia32/src/smp/smp.c |
---|
43,6 → 43,7 |
#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> |
63,9 → 64,9 |
} |
if (config.cpu_count > 1) { |
page_mapping_insert((__address)l_apic, (__address)l_apic, |
page_mapping_insert((__address)l_apic, ASID_KERNEL, (__address)l_apic, |
PAGE_NOT_CACHEABLE, 0); |
page_mapping_insert((__address) io_apic, |
page_mapping_insert((__address) io_apic, ASID_KERNEL, |
(__address) io_apic, |
PAGE_NOT_CACHEABLE, 0); |
} |
/kernel/trunk/arch/ia32/src/mm/page.c |
---|
31,6 → 31,7 |
#include <arch/mm/frame.h> |
#include <mm/frame.h> |
#include <mm/page.h> |
#include <mm/asid.h> |
#include <arch/types.h> |
#include <config.h> |
#include <func.h> |
60,7 → 61,7 |
* PA2KA(identity) mapping for all frames until last_frame. |
*/ |
for (cur = 0; cur < last_frame; cur += FRAME_SIZE) |
page_mapping_insert(PA2KA(cur), cur, PAGE_CACHEABLE, KA2PA(dba)); |
page_mapping_insert(PA2KA(cur), ASID_KERNEL, cur, PAGE_CACHEABLE, KA2PA(dba)); |
exc_register(14, "page_fault", page_fault); |
write_cr3(KA2PA(dba)); |
/kernel/trunk/arch/ia32/src/drivers/ega.c |
---|
29,6 → 29,7 |
#include <arch/ega.h> |
#include <putchar.h> |
#include <mm/page.h> |
#include <mm/asid.h> |
#include <arch/mm/page.h> |
#include <synch/spinlock.h> |
#include <arch/types.h> |
58,7 → 59,7 |
{ |
__u8 hi, lo; |
page_mapping_insert(PA2KA(VIDEORAM), VIDEORAM, PAGE_NOT_CACHEABLE, 0); |
page_mapping_insert(PA2KA(VIDEORAM), ASID_KERNEL, VIDEORAM, PAGE_NOT_CACHEABLE, 0); |
outb(0x3d4,0xe); |
hi = inb(0x3d5); |
outb(0x3d4,0xf); |