/kernel/trunk/arch/ppc32/src/mm/tlb.c |
---|
232,16 → 232,6 |
} |
void tlb_invalidate_all(void) |
{ |
ipl_t ipl; |
ipl = interrupts_disable(); |
memsetb((__address) phte, 1 << PHT_BITS, 0); |
interrupts_restore(ipl); |
} |
/** Print contents of Page Hash Table. */ |
void tlb_print(void) |
{ |