Symbol: u3_ht_is_ht_irq