HPET_MAIN_COUNTER
HPET_MAIN_COUNTER);
return readl(ptr + HPET_MAIN_COUNTER) + acpi_hpet_offset;
val = readl(ptr + HPET_MAIN_COUNTER);
val2 = readl(ptr + HPET_MAIN_COUNTER);
HPET_MAIN_COUNTER);
HPET_MAIN_COUNTER);
u1 = bus_space_read_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_MAIN_COUNTER);
HPET_MAIN_COUNTER);
u2 = bus_space_read_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_MAIN_COUNTER);