kernel/arm/pmap.c
/*
 * Switches the address space from the current process to the next process.
 * TODO: Need to update code, probably don't need to flush caches. 
 */
Switches the address space from the current process to the next process.
TODO: Need to update code, probably don't need to flush caches.
Switches the address space from the current process to the next process . TODO : Need to update code probably don ' t need to flush caches .
void PmapSwitch(struct Process *next, struct Process *current) {
  SetPageDirectory((void *)(PmapVaToPa((vm_addr)next->as.pmap.l1_table)));
  InvalidateTLB();
  FlushAllCaches();
}
void PmapSwitch ( struct Process * next , struct Process * current ) { SetPageDirectory ( ( void * ) ( PmapVaToPa ( ( vm_addr ) next -> as . pmap . l1_table ) ) ) ; InvalidateTLB ( ) ; FlushAllCaches ( ) ; }
Switches the address space from the current process to the next process.
Switches the address space from the current process to the next process .
//    if (next != NULL && next != current) { //    }