Searched refs:leon_flush_during_switch (Results 1 – 2 of 2) sorted by relevance
21 int leon_flush_during_switch = 1; variable273 if (leon_flush_during_switch) in leon_switch_mm()351 leon_flush_during_switch = leon_flush_needed(); in init_leon()
205 extern int leon_flush_during_switch;