Symbol: acpi_gtdt_init
drivers/acpi/arm64/gtdt.c
416
ret = acpi_gtdt_init(table, &timer_count);
drivers/clocksource/arm_arch_timer.c
1211
ret = acpi_gtdt_init(table, NULL);
include/linux/acpi.h
779
int acpi_gtdt_init(struct acpi_table_header *table, int *platform_timer_count);