ARCH_TIMER_PHYS_NONSECURE_PPI
case ARCH_TIMER_PHYS_NONSECURE_PPI:
case ARCH_TIMER_PHYS_NONSECURE_PPI:
case ARCH_TIMER_PHYS_NONSECURE_PPI:
ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];
free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],
return ARCH_TIMER_PHYS_NONSECURE_PPI;
arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];
arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] =
acpi_gtdt_map_ppi(ARCH_TIMER_PHYS_NONSECURE_PPI);
[ARCH_TIMER_PHYS_NONSECURE_PPI] = "phys",
case ARCH_TIMER_PHYS_NONSECURE_PPI:
arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);
flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);
enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],
disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);