Searched refs:flush_switched_cplbs (Results 1 – 3 of 3) sorted by relevance
52 extern void flush_switched_cplbs(unsigned int);
83 flush_switched_cplbs(cpu); in __switch_mm()155 flush_switched_cplbs(cpu); in update_protections()
316 void flush_switched_cplbs(unsigned int cpu) in flush_switched_cplbs() function