Symbol: hpet_dev