arm-vgic-info.h (1001B)
1/* SPDX-License-Identifier: GPL-2.0-only */ 2/* 3 * include/linux/irqchip/arm-vgic-info.h 4 * 5 * Copyright (C) 2016 ARM Limited, All Rights Reserved. 6 */ 7#ifndef __LINUX_IRQCHIP_ARM_VGIC_INFO_H 8#define __LINUX_IRQCHIP_ARM_VGIC_INFO_H 9 10#include <linux/types.h> 11#include <linux/ioport.h> 12 13enum gic_type { 14 /* Full GICv2 */ 15 GIC_V2, 16 /* Full GICv3, optionally with v2 compat */ 17 GIC_V3, 18}; 19 20struct gic_kvm_info { 21 /* GIC type */ 22 enum gic_type type; 23 /* Virtual CPU interface */ 24 struct resource vcpu; 25 /* Interrupt number */ 26 unsigned int maint_irq; 27 /* No interrupt mask, no need to use the above field */ 28 bool no_maint_irq_mask; 29 /* Virtual control interface */ 30 struct resource vctrl; 31 /* vlpi support */ 32 bool has_v4; 33 /* rvpeid support */ 34 bool has_v4_1; 35 /* Deactivation impared, subpar stuff */ 36 bool no_hw_deactivation; 37}; 38 39#ifdef CONFIG_KVM 40void vgic_set_kvm_info(const struct gic_kvm_info *info); 41#else 42static inline void vgic_set_kvm_info(const struct gic_kvm_info *info) {} 43#endif 44 45#endif