Symbol: arch_timer_ppi_nr
drivers/clocksource/arm_arch_timer.c
1108
static enum arch_timer_ppi_nr __init arch_timer_select_ppi(void)
drivers/clocksource/arm_arch_timer.c
56
static enum arch_timer_ppi_nr arch_timer_uses_ppi __ro_after_init = ARCH_TIMER_VIRT_PPI;