Searched refs:set_profile_timer (Results 1 – 1 of 1) sorted by relevance
564 static void set_profile_timer(C_uword freq);1571 if(profiling) set_profile_timer(profile_frequency); in CHICKEN_run()1605 if(profiling) set_profile_timer(0); in CHICKEN_run()4330 static void set_profile_timer(C_uword freq) function12827 set_profile_timer(0);