Lines Matching full:ppi
1015 int ppi; in arch_timer_register() local
1023 ppi = arch_timer_ppi[arch_timer_uses_ppi]; in arch_timer_register()
1026 err = request_percpu_irq(ppi, arch_timer_handler_virt, in arch_timer_register()
1031 err = request_percpu_irq(ppi, arch_timer_handler_phys, in arch_timer_register()
1034 ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]; in arch_timer_register()
1035 err = request_percpu_irq(ppi, arch_timer_handler_phys, in arch_timer_register()
1043 err = request_percpu_irq(ppi, arch_timer_handler_phys, in arch_timer_register()
1051 pr_err("can't register interrupt %d (%d)\n", ppi, err); in arch_timer_register()
1091 * arch_timer_select_ppi() - Select suitable PPI for the current system.
1099 * their CNTHP_*_EL2 counterparts, and use a different PPI
1106 * Return: a suitable PPI type for the current system.