ARCH_TIMER_VIRT_PPI
case ARCH_TIMER_VIRT_PPI:
case ARCH_TIMER_VIRT_PPI:
case ARCH_TIMER_VIRT_PPI:
if (!is_hyp_mode_available() && arch_timer_ppi[ARCH_TIMER_VIRT_PPI])
return ARCH_TIMER_VIRT_PPI;
arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];
case ARCH_TIMER_VIRT_PPI:
[ARCH_TIMER_VIRT_PPI] = "virt",
static enum arch_timer_ppi_nr arch_timer_uses_ppi __ro_after_init = ARCH_TIMER_VIRT_PPI;
case ARCH_TIMER_VIRT_PPI:
arch_timer_uses_ppi == ARCH_TIMER_VIRT_PPI ||