74 static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI] __ro_after_init;  variable
869 		clk->irq = arch_timer_ppi[arch_timer_uses_ppi];  in __arch_timer_setup()
986 		arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_has_nonsecure_ppi()
1009 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_starting_cpu()
1010 	enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags);  in arch_timer_starting_cpu()
1013 		flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_starting_cpu()
1014 		enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_starting_cpu()
1156 	disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_stop()
1158 		disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_stop()
1227 	ppi = arch_timer_ppi[arch_timer_uses_ppi];  in arch_timer_register()
1238 			ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_register()
1242 				free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],  in arch_timer_register()
1275 	free_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], arch_timer_evt);  in arch_timer_register()
1277 		free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_register()
1382 	if (!is_hyp_mode_available() && arch_timer_ppi[ARCH_TIMER_VIRT_PPI])  in arch_timer_select_ppi()
1393 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];  in arch_timer_populate_kvm_info()
1395 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_populate_kvm_info()
1419 			arch_timer_ppi[i] = irq;  in arch_timer_of_init()
1442 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_of_init()
1740 	arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] =  in arch_timer_acpi_init()
1743 	arch_timer_ppi[ARCH_TIMER_VIRT_PPI] =  in arch_timer_acpi_init()
1746 	arch_timer_ppi[ARCH_TIMER_HYP_PPI] =  in arch_timer_acpi_init()
1763 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_acpi_init()