Symbol: acpi_gtdt_map_ppi
drivers/clocksource/arm_arch_timer.c
1204
acpi_gtdt_map_ppi(ARCH_TIMER_PHYS_NONSECURE_PPI);
drivers/clocksource/arm_arch_timer.c
1207
acpi_gtdt_map_ppi(ARCH_TIMER_VIRT_PPI);
drivers/clocksource/arm_arch_timer.c
1210
acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI);
include/linux/acpi.h
769
int acpi_gtdt_map_ppi(int type);