//SPARTAN/trunk/arch/ia32/src/mm/tlb.c |
---|
29,7 → 29,19 |
#include <mm/tlb.h> |
#include <arch/asm.h> |
#ifdef __SMP__ |
#include <arch/apic.h> |
#include <arch/interrupt.h> |
#endif /* __SMP__ */ |
void tlb_invalidate(int asid) |
{ |
cpu_write_dba(cpu_read_dba()); |
} |
#ifdef __SMP__ |
void tlb_shutdown_ipi_send(void) |
{ |
(void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHUTDOWN); |
} |
#endif /* __SMP__ */ |
//SPARTAN/trunk/arch/ia32/src/mm/page.c |
---|
134,6 → 134,4 |
pt[pte].page_cache_disable = !(flags & PAGE_CACHEABLE); |
pt[pte].uaccessible = (flags & PAGE_USER) != 0; |
pt[pte].writeable = (flags & PAGE_WRITE) != 0; |
tlb_invalidate(0); |
} |