HPET_T0_CFG
hpet_write(HPET_T0_CFG, cfg);
cfg = hpet_read(HPET_T0_CFG);
hpet_write(HPET_T0_CFG, cfg);
cfg = hpet_read(HPET_T0_CFG);
hpet_write(HPET_T0_CFG, cfg);
cfg = hpet_read(HPET_T0_CFG);