arch_timer_ppi_nr
static enum arch_timer_ppi_nr __init arch_timer_select_ppi(void)
static enum arch_timer_ppi_nr arch_timer_uses_ppi __ro_after_init = ARCH_TIMER_VIRT_PPI;