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 
arch_init_irq(void)15 void __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