Searched refs:timer_pop_count (Results 1 – 4 of 4) sorted by relevance
82 SCHED_STATS_INC(timer_pop_count); in timer_intr()
335 SCHED_STATS_INC(timer_pop_count); in rtclock_intr()
443 uint32_t timer_pop_count; member
984 out->ps_timer_pop_count = stats.timer_pop_count; in get_sched_statistics()