acpi_os_get_timer 634 drivers/acpi/osl.c u64 acpi_os_get_timer(void) acpi_os_get_timer 982 tools/power/acpi/os_specific/service_layers/osunixxf.c u64 acpi_os_get_timer(void)