Searched defs:platform_timer_count (Results 1 – 6 of 6) sorted by relevance
159 int *platform_timer_count) in acpi_gtdt_init()
156 int *platform_timer_count) in acpi_gtdt_init()
1518 static int __init arch_timer_mem_acpi_init(int platform_timer_count) in arch_timer_mem_acpi_init()1569 int ret, platform_timer_count; in arch_timer_acpi_init() local
1550 static int __init arch_timer_mem_acpi_init(int platform_timer_count) in arch_timer_mem_acpi_init()1601 int ret, platform_timer_count; in arch_timer_acpi_init() local
994 u32 platform_timer_count; member