set_irq_work_pending_flag   66 arch/alpha/kernel/time.c 	set_irq_work_pending_flag();
set_irq_work_pending_flag  549 arch/powerpc/kernel/time.c 	set_irq_work_pending_flag();