IRQ_resetbit
IRQ_resetbit(&dst->servicing, s_IRQ);
IRQ_resetbit(&dst->raised, irq);
IRQ_resetbit(&dst->raised, n_IRQ);