// SPDX-License-Identifier: GPL-2.0-only /* * Pistachio IRQ setup * * Copyright (C) 2014 Google, Inc. */ #include #include #include #include #include void __init arch_init_irq(void) { pr_info("EIC is %s\n", cpu_has_veic ? "on" : "off"); pr_info("VINT is %s\n", cpu_has_vint ? "on" : "off"); if (!cpu_has_veic) mips_cpu_irq_init(); irqchip_init(); }