acpi_os_get_timer
if (ACPI_TIME_AFTER(acpi_os_get_timer(),
control_state->control.loop_timeout = acpi_os_get_timer() +
timer = ((u32)acpi_os_get_timer() / 10);
acpi_ut_create_integer_object(acpi_os_get_timer());
u64 acpi_os_get_timer(void);