Searched refs:leon_switch_mm (Results 1 – 3 of 3) sorted by relevance
85 void leon_switch_mm(void);
269 void leon_switch_mm(void) in leon_switch_mm() function
473 leon_switch_mm(); in switch_mm()