Symbol: is_trbe_irq