Symbol: mpic_ht_end_irq