irq_mark_irq
static __always_inline void irq_mark_irq(unsigned int irq) { }
void irq_mark_irq(unsigned int irq)