74 static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI] __ro_after_init;  variable
870 		clk->irq = arch_timer_ppi[arch_timer_uses_ppi];  in __arch_timer_setup()
1011 		arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_has_nonsecure_ppi()
1034 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_starting_cpu()
1035 	enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags);  in arch_timer_starting_cpu()
1038 		flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_starting_cpu()
1039 		enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_starting_cpu()
1179 	disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_stop()
1181 		disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_stop()
1246 	ppi = arch_timer_ppi[arch_timer_uses_ppi];  in arch_timer_register()
1257 			ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_register()
1261 				free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],  in arch_timer_register()
1294 	free_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], arch_timer_evt);  in arch_timer_register()
1296 		free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_register()
1402 	if (!is_hyp_mode_available() && arch_timer_ppi[ARCH_TIMER_VIRT_PPI])  in arch_timer_select_ppi()
1413 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];  in arch_timer_populate_kvm_info()
1415 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_populate_kvm_info()
1439 			arch_timer_ppi[i] = irq;  in arch_timer_of_init()
1462 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_of_init()
1755 	arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] =  in arch_timer_acpi_init()
1758 	arch_timer_ppi[ARCH_TIMER_VIRT_PPI] =  in arch_timer_acpi_init()
1761 	arch_timer_ppi[ARCH_TIMER_HYP_PPI] =  in arch_timer_acpi_init()
1778 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_acpi_init()