1 // SPDX-License-Identifier: GPL-2.0-only
5 * Copyright (C) 2014 Google, Inc.
8 #include <linux/init.h>
9 #include <linux/irqchip.h>
10 #include <linux/kernel.h>
12 #include <asm/cpu-features.h>
13 #include <asm/irq_cpu.h>
15 void __init
arch_init_irq(void)
17 pr_info("EIC is %s\n", cpu_has_veic
? "on" : "off");
18 pr_info("VINT is %s\n", cpu_has_vint
? "on" : "off");