Searched defs:platform_timer_count (Results 1 – 2 of 2) sorted by relevance
162 int *platform_timer_count) in acpi_gtdt_init()
1335 u32 platform_timer_count; member