Symbol: acpi_gtdt_map_ppi
drivers/clocksource/arm_arch_timer.c
1217
arch_timer_ppi[i] = acpi_gtdt_map_ppi(i);
include/linux/acpi.h
780
int acpi_gtdt_map_ppi(int type);