Searched refs:leon_flush_during_switch (Results 1 – 2 of 2) sorted by relevance
20 int leon_flush_during_switch = 1; variable272 if (leon_flush_during_switch) in leon_switch_mm()350 leon_flush_during_switch = leon_flush_needed(); in init_leon()
204 extern int leon_flush_during_switch;