for_each_platform_timer  308 drivers/acpi/arm64/gtdt.c 	for_each_platform_timer(platform_timer) {
for_each_platform_timer  399 drivers/acpi/arm64/gtdt.c 	for_each_platform_timer(platform_timer) {