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

{

    q->pending++;

    set_bit(q->queue, n_IRQ);

}

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

{

    q->pending++;

    set_bit(q->queue, n_IRQ);

}

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

{

    VAR_0->pending++;

    set_bit(VAR_0->queue, VAR_1);

}

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