HPET_CONFIG
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val | HPET_CNF_ENABLE);
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val & ~HPET_CNF_ENABLE);
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val | HPET_CNF_ENABLE);
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val & ~HPET_CNF_ENABLE);
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val & ~HPET_CNF_ENABLE);
val = readl(ptr + HPET_CONFIG);
writel(ptr + HPET_CONFIG, val & ~HPET_CNF_ENABLE);
val = bus_space_read_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_CONFIG);
bus_space_write_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_CONFIG,
val = bus_space_read_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_CONFIG);
bus_space_write_4(acpi_hpet_bst, acpi_hpet_bsh, HPET_CONFIG,