MMIO_HPET_BASE
volatile uint32_t *ptr = (uint32_t *)(MMIO_HPET_BASE + reg);
(uint32_t *)(MMIO_HPET_BASE + HPET_OFF_MAIN_COUNT_LOW);