kernel/arm/pmap.c
/*
 * Flushes the CPU's TLBs once page tables are updated.
 */
Flushes the CPU's TLBs once page tables are updated.
Flushes the CPU ' s TLBs once page tables are updated .
void PmapFlushTLBs(void) {
  InvalidateTLB();
  FlushAllCaches();
}
void PmapFlushTLBs ( void ) { InvalidateTLB ( ) ; FlushAllCaches ( ) ; }
Flushes the CPU's TLBs once page tables are updated.
Flushes the CPU ' s TLBs once page tables are updated .
//    struct Process *current; // NEED an IPI invvalidate for multicore //    current = GetCurrentProcess(); //    SetPageDirectory ((void *)(PmapVaToPa //    ((vm_addr)current->as.pmap.l1_table)));