/SPARTAN/trunk/arch/ia32/src/mm/tlb.c |
---|
27,16 → 27,9 |
*/ |
#include <mm/tlb.h> |
#include <arch/mm/asid.h> |
#include <arch/asm.h> |
/** Invalidate all TLB entries |
* |
* Invalidate all TLB entries. |
* |
* @param asid This argument is ignored. |
*/ |
void tlb_invalidate(asid_t asid) |
void tlb_invalidate(int asid) |
{ |
write_cr3(read_cr3()); |
} |