irq_work_needs_cpu   49 include/linux/irq_work.h bool irq_work_needs_cpu(void);
irq_work_needs_cpu  686 kernel/time/tick-sched.c 	    irq_work_needs_cpu() || local_timer_softirq_pending()) {