Symbol: is_valid_irq