Symbol: IRQ_F_INT1