Symbol: hpet_intr_single