64 static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI];  variable
768 		clk->irq = arch_timer_ppi[arch_timer_uses_ppi];  in __arch_timer_setup()
864 		arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_has_nonsecure_ppi()
887 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_starting_cpu()
888 	enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags);  in arch_timer_starting_cpu()
891 		flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_starting_cpu()
892 		enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_starting_cpu()
1030 	disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_stop()
1032 		disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_stop()
1101 	ppi = arch_timer_ppi[arch_timer_uses_ppi];  in arch_timer_register()
1112 			ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_register()
1116 				free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],  in arch_timer_register()
1149 	free_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], arch_timer_evt);  in arch_timer_register()
1151 		free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_register()
1256 	if (!is_hyp_mode_available() && arch_timer_ppi[ARCH_TIMER_VIRT_PPI])  in arch_timer_select_ppi()
1267 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];  in arch_timer_populate_kvm_info()
1269 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_populate_kvm_info()
1284 		arch_timer_ppi[i] = irq_of_parse_and_map(np, i);  in arch_timer_of_init()
1306 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_of_init()
1605 	arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] =  in arch_timer_acpi_init()
1608 	arch_timer_ppi[ARCH_TIMER_VIRT_PPI] =  in arch_timer_acpi_init()
1611 	arch_timer_ppi[ARCH_TIMER_HYP_PPI] =  in arch_timer_acpi_init()
1628 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_acpi_init()