arch_timer_ppi_nr   68 drivers/clocksource/arm_arch_timer.c static enum arch_timer_ppi_nr arch_timer_uses_ppi = ARCH_TIMER_VIRT_PPI;
arch_timer_ppi_nr 1225 drivers/clocksource/arm_arch_timer.c static enum arch_timer_ppi_nr __init arch_timer_select_ppi(void)