Searched refs:platform_timer_count (Results 1 – 3 of 3) sorted by relevance
162 int *platform_timer_count) in acpi_gtdt_init() argument172 if (platform_timer_count) in acpi_gtdt_init()173 *platform_timer_count = 0; in acpi_gtdt_init()181 if (!gtdt->platform_timer_count) { in acpi_gtdt_init()190 if (cnt != gtdt->platform_timer_count) { in acpi_gtdt_init()191 cnt = min(cnt, gtdt->platform_timer_count); in acpi_gtdt_init()200 if (platform_timer_count) in acpi_gtdt_init()201 *platform_timer_count = cnt; in acpi_gtdt_init()
1593 u32 platform_timer_count; member
768 int acpi_gtdt_init(struct acpi_table_header *table, int *platform_timer_count);