HPET_PERIOD
val = readl(ptr + HPET_PERIOD);
val = bus_space_read_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_PERIOD);