1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * include/linux/irqchip/arm-gic-common.h
5 * Copyright (C) 2016 ARM Limited, All Rights Reserved.
7 #ifndef __LINUX_IRQCHIP_ARM_GIC_COMMON_H
8 #define __LINUX_IRQCHIP_ARM_GIC_COMMON_H
10 #include <linux/types.h>
11 #include <linux/ioport.h>
13 #define GICD_INT_DEF_PRI 0xa0
14 #define GICD_INT_DEF_PRI_X4 ((GICD_INT_DEF_PRI << 24) |\
15 (GICD_INT_DEF_PRI << 16) |\
16 (GICD_INT_DEF_PRI << 8) |\
27 /* Virtual CPU interface */
29 /* Interrupt number */
30 unsigned int maint_irq;
31 /* Virtual control interface */
32 struct resource vctrl;
39 const struct gic_kvm_info *gic_get_kvm_info(void);
43 int gicv2m_init(struct fwnode_handle *parent_handle,
44 struct irq_domain *parent);
46 #endif /* __LINUX_IRQCHIP_ARM_GIC_COMMON_H */