Symbol: hpet_read