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