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

{

    set_bit(q->queue, n_IRQ);

}

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

{

    set_bit(q->queue, n_IRQ);

}

static inline void FUNC_0(IRQQueue *VAR_0, int VAR_1)

{

    set_bit(VAR_0->queue, VAR_1);

}

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