Rev 7 | Rev 396 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#include <mm/tlb.h>
#include <arch/asm.h>
void tlb_invalidate(int asid)
{
cpu_write_dba(cpu_read_dba());
write_cr3(read_cr3());
}