tick_check_broadcast_expired
extern int tick_check_broadcast_expired(void);
if (cpu_idle_force_poll || tick_check_broadcast_expired()) {
(cpu_idle_force_poll || tick_check_broadcast_expired()))
if (tick_check_broadcast_expired()) {