64 static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI];  variable
753 		clk->irq = arch_timer_ppi[arch_timer_uses_ppi];  in __arch_timer_setup()
849 		arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_has_nonsecure_ppi()
872 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_starting_cpu()
873 	enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags);  in arch_timer_starting_cpu()
876 		flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_starting_cpu()
877 		enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_starting_cpu()
1004 	disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]);  in arch_timer_stop()
1006 		disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);  in arch_timer_stop()
1075 	ppi = arch_timer_ppi[arch_timer_uses_ppi];  in arch_timer_register()
1086 			ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_register()
1090 				free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],  in arch_timer_register()
1123 	free_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], arch_timer_evt);  in arch_timer_register()
1125 		free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI],  in arch_timer_register()
1230 	if (!is_hyp_mode_available() && arch_timer_ppi[ARCH_TIMER_VIRT_PPI])  in arch_timer_select_ppi()
1241 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];  in arch_timer_populate_kvm_info()
1243 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];  in arch_timer_populate_kvm_info()
1258 		arch_timer_ppi[i] = irq_of_parse_and_map(np, i);  in arch_timer_of_init()
1280 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_of_init()
1581 	arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] =  in arch_timer_acpi_init()
1584 	arch_timer_ppi[ARCH_TIMER_VIRT_PPI] =  in arch_timer_acpi_init()
1587 	arch_timer_ppi[ARCH_TIMER_HYP_PPI] =  in arch_timer_acpi_init()
1603 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {  in arch_timer_acpi_init()