HPET_MMIO_ADDR
return *(volatile unsigned int *)(HPET_MMIO_ADDR + offset);
*(volatile unsigned int *)(HPET_MMIO_ADDR + offset) = data;