Searched refs:leon_switch_mm (Results 1 – 3 of 3) sorted by relevance
86 void leon_switch_mm(void);
270 void leon_switch_mm(void) in leon_switch_mm() function
484 leon_switch_mm(); in switch_mm()