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