ACPI_TIMER32_MASK
if (counter < (last_counter & ACPI_TIMER32_MASK))
#define ACPI_TIMER32_HIBITS (~ACPI_TIMER32_MASK)