1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Pistachio IRQ setup 4 * 5 * Copyright (C) 2014 Google, Inc. 6 */ 7 8#include <linux/init.h> 9#include <linux/irqchip.h> 10#include <linux/kernel.h> 11 12#include <asm/cpu-features.h> 13#include <asm/irq_cpu.h> 14 15void __init arch_init_irq(void) 16{ 17 pr_info("EIC is %s\n", cpu_has_veic ? "on" : "off"); 18 pr_info("VINT is %s\n", cpu_has_vint ? "on" : "off"); 19 20 if (!cpu_has_veic) 21 mips_cpu_irq_init(); 22 23 irqchip_init(); 24} 25