Symbol: set_irq_work_pending_flag