Symbol: hpet_readl