Searched refs:set_mm_timer (Results 1 – 3 of 3) sorted by relevance
26 void set_mm_timer(int);
444 set_mm_timer( in set_mm_timer() function
952 set_mm_timer(MM_TIMER_HIRES);