static inline void IRQ_resetbit(IRQ_queue_t *q, int n_IRQ)

{

    q->pending--;

    reset_bit(q->queue, n_IRQ);

}

static inline void IRQ_resetbit(IRQ_queue_t *q, int n_IRQ)

{

    q->pending--;

    reset_bit(q->queue, n_IRQ);

}

static inline void IRQ_resetbit(IRQ_queue_t *q, int n_IRQ)
static inline void FUNC_0(IRQ_queue_t *VAR_0, int VAR_1)

{

    VAR_0->pending--;

    reset_bit(VAR_0->queue, VAR_1);

}

static inline void FUNC_0(IRQ_queue_t *VAR_0, int VAR_1)
{ VAR_0->pending--; reset_bit(VAR_0->queue, VAR_1); }