acpi_gtdt_map_ppi 1582 drivers/clocksource/arm_arch_timer.c 		acpi_gtdt_map_ppi(ARCH_TIMER_PHYS_NONSECURE_PPI);
acpi_gtdt_map_ppi 1585 drivers/clocksource/arm_arch_timer.c 		acpi_gtdt_map_ppi(ARCH_TIMER_VIRT_PPI);
acpi_gtdt_map_ppi 1588 drivers/clocksource/arm_arch_timer.c 		acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI);
acpi_gtdt_map_ppi  646 include/linux/acpi.h int acpi_gtdt_map_ppi(int type);