Symbol: hpet_isr