1/* SPDX-License-Identifier: GPL-2.0 */
2extern void register_percpu_irq(ia64_vector vec, irq_handler_t handler,
3				unsigned long flags, const char *name);