ARCH_TIMER_HYP_PPI
case ARCH_TIMER_HYP_PPI:
case ARCH_TIMER_HYP_PPI:
case ARCH_TIMER_HYP_PPI:
return ARCH_TIMER_HYP_PPI;
arch_timer_ppi[ARCH_TIMER_HYP_PPI] =
acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI);
[ARCH_TIMER_HYP_PPI] = "hyp-phys",
case ARCH_TIMER_HYP_PPI: