acpi_gtdt_init    395 drivers/acpi/arm64/gtdt.c 	ret = acpi_gtdt_init(table, &timer_count);
acpi_gtdt_init   1575 drivers/clocksource/arm_arch_timer.c 	ret = acpi_gtdt_init(table, &platform_timer_count);
acpi_gtdt_init    645 include/linux/acpi.h int acpi_gtdt_init(struct acpi_table_header *table, int *platform_timer_count);