Searched refs:timer_irq_pending (Results 1 – 1 of 1) sorted by relevance
252 static bool timer_irq_pending(void) in timer_irq_pending() function264 if (timer_irq_pending()) in timer_irq_handler()272 if (!timer_irq_pending()) in timer_irq_handler()343 pending = timer_irq_pending(); in check_time()347 report(!timer_irq_pending(), "pending timer cleared while masked"); in check_time()