xref: /OK3568_Linux_fs/kernel/arch/arm64/kvm/vgic/vgic.h (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0-only */
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun  * Copyright (C) 2015, 2016 ARM Ltd.
4*4882a593Smuzhiyun  */
5*4882a593Smuzhiyun #ifndef __KVM_ARM_VGIC_NEW_H__
6*4882a593Smuzhiyun #define __KVM_ARM_VGIC_NEW_H__
7*4882a593Smuzhiyun 
8*4882a593Smuzhiyun #include <linux/irqchip/arm-gic-common.h>
9*4882a593Smuzhiyun 
10*4882a593Smuzhiyun #define PRODUCT_ID_KVM		0x4b	/* ASCII code K */
11*4882a593Smuzhiyun #define IMPLEMENTER_ARM		0x43b
12*4882a593Smuzhiyun 
13*4882a593Smuzhiyun #define VGIC_ADDR_UNDEF		(-1)
14*4882a593Smuzhiyun #define IS_VGIC_ADDR_UNDEF(_x)  ((_x) == VGIC_ADDR_UNDEF)
15*4882a593Smuzhiyun 
16*4882a593Smuzhiyun #define INTERRUPT_ID_BITS_SPIS	10
17*4882a593Smuzhiyun #define INTERRUPT_ID_BITS_ITS	16
18*4882a593Smuzhiyun #define VGIC_PRI_BITS		5
19*4882a593Smuzhiyun 
20*4882a593Smuzhiyun #define vgic_irq_is_sgi(intid) ((intid) < VGIC_NR_SGIS)
21*4882a593Smuzhiyun 
22*4882a593Smuzhiyun #define VGIC_AFFINITY_0_SHIFT 0
23*4882a593Smuzhiyun #define VGIC_AFFINITY_0_MASK (0xffUL << VGIC_AFFINITY_0_SHIFT)
24*4882a593Smuzhiyun #define VGIC_AFFINITY_1_SHIFT 8
25*4882a593Smuzhiyun #define VGIC_AFFINITY_1_MASK (0xffUL << VGIC_AFFINITY_1_SHIFT)
26*4882a593Smuzhiyun #define VGIC_AFFINITY_2_SHIFT 16
27*4882a593Smuzhiyun #define VGIC_AFFINITY_2_MASK (0xffUL << VGIC_AFFINITY_2_SHIFT)
28*4882a593Smuzhiyun #define VGIC_AFFINITY_3_SHIFT 24
29*4882a593Smuzhiyun #define VGIC_AFFINITY_3_MASK (0xffUL << VGIC_AFFINITY_3_SHIFT)
30*4882a593Smuzhiyun 
31*4882a593Smuzhiyun #define VGIC_AFFINITY_LEVEL(reg, level) \
32*4882a593Smuzhiyun 	((((reg) & VGIC_AFFINITY_## level ##_MASK) \
33*4882a593Smuzhiyun 	>> VGIC_AFFINITY_## level ##_SHIFT) << MPIDR_LEVEL_SHIFT(level))
34*4882a593Smuzhiyun 
35*4882a593Smuzhiyun /*
36*4882a593Smuzhiyun  * The Userspace encodes the affinity differently from the MPIDR,
37*4882a593Smuzhiyun  * Below macro converts vgic userspace format to MPIDR reg format.
38*4882a593Smuzhiyun  */
39*4882a593Smuzhiyun #define VGIC_TO_MPIDR(val) (VGIC_AFFINITY_LEVEL(val, 0) | \
40*4882a593Smuzhiyun 			    VGIC_AFFINITY_LEVEL(val, 1) | \
41*4882a593Smuzhiyun 			    VGIC_AFFINITY_LEVEL(val, 2) | \
42*4882a593Smuzhiyun 			    VGIC_AFFINITY_LEVEL(val, 3))
43*4882a593Smuzhiyun 
44*4882a593Smuzhiyun /*
45*4882a593Smuzhiyun  * As per Documentation/virt/kvm/devices/arm-vgic-v3.rst,
46*4882a593Smuzhiyun  * below macros are defined for CPUREG encoding.
47*4882a593Smuzhiyun  */
48*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP0_MASK   0x000000000000c000
49*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP0_SHIFT  14
50*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP1_MASK   0x0000000000003800
51*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP1_SHIFT  11
52*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_CRN_MASK   0x0000000000000780
53*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_CRN_SHIFT  7
54*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_CRM_MASK   0x0000000000000078
55*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_CRM_SHIFT  3
56*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP2_MASK   0x0000000000000007
57*4882a593Smuzhiyun #define KVM_REG_ARM_VGIC_SYSREG_OP2_SHIFT  0
58*4882a593Smuzhiyun 
59*4882a593Smuzhiyun #define KVM_DEV_ARM_VGIC_SYSREG_MASK (KVM_REG_ARM_VGIC_SYSREG_OP0_MASK | \
60*4882a593Smuzhiyun 				      KVM_REG_ARM_VGIC_SYSREG_OP1_MASK | \
61*4882a593Smuzhiyun 				      KVM_REG_ARM_VGIC_SYSREG_CRN_MASK | \
62*4882a593Smuzhiyun 				      KVM_REG_ARM_VGIC_SYSREG_CRM_MASK | \
63*4882a593Smuzhiyun 				      KVM_REG_ARM_VGIC_SYSREG_OP2_MASK)
64*4882a593Smuzhiyun 
65*4882a593Smuzhiyun /*
66*4882a593Smuzhiyun  * As per Documentation/virt/kvm/devices/arm-vgic-its.rst,
67*4882a593Smuzhiyun  * below macros are defined for ITS table entry encoding.
68*4882a593Smuzhiyun  */
69*4882a593Smuzhiyun #define KVM_ITS_CTE_VALID_SHIFT		63
70*4882a593Smuzhiyun #define KVM_ITS_CTE_VALID_MASK		BIT_ULL(63)
71*4882a593Smuzhiyun #define KVM_ITS_CTE_RDBASE_SHIFT	16
72*4882a593Smuzhiyun #define KVM_ITS_CTE_ICID_MASK		GENMASK_ULL(15, 0)
73*4882a593Smuzhiyun #define KVM_ITS_ITE_NEXT_SHIFT		48
74*4882a593Smuzhiyun #define KVM_ITS_ITE_PINTID_SHIFT	16
75*4882a593Smuzhiyun #define KVM_ITS_ITE_PINTID_MASK		GENMASK_ULL(47, 16)
76*4882a593Smuzhiyun #define KVM_ITS_ITE_ICID_MASK		GENMASK_ULL(15, 0)
77*4882a593Smuzhiyun #define KVM_ITS_DTE_VALID_SHIFT		63
78*4882a593Smuzhiyun #define KVM_ITS_DTE_VALID_MASK		BIT_ULL(63)
79*4882a593Smuzhiyun #define KVM_ITS_DTE_NEXT_SHIFT		49
80*4882a593Smuzhiyun #define KVM_ITS_DTE_NEXT_MASK		GENMASK_ULL(62, 49)
81*4882a593Smuzhiyun #define KVM_ITS_DTE_ITTADDR_SHIFT	5
82*4882a593Smuzhiyun #define KVM_ITS_DTE_ITTADDR_MASK	GENMASK_ULL(48, 5)
83*4882a593Smuzhiyun #define KVM_ITS_DTE_SIZE_MASK		GENMASK_ULL(4, 0)
84*4882a593Smuzhiyun #define KVM_ITS_L1E_VALID_MASK		BIT_ULL(63)
85*4882a593Smuzhiyun /* we only support 64 kB translation table page size */
86*4882a593Smuzhiyun #define KVM_ITS_L1E_ADDR_MASK		GENMASK_ULL(51, 16)
87*4882a593Smuzhiyun 
88*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_INDEX_MASK	GENMASK_ULL(11, 0)
89*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_FLAGS_MASK	GENMASK_ULL(15, 12)
90*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_FLAGS_SHIFT	12
91*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_BASE_MASK	GENMASK_ULL(51, 16)
92*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_COUNT_MASK	GENMASK_ULL(63, 52)
93*4882a593Smuzhiyun #define KVM_VGIC_V3_RDIST_COUNT_SHIFT	52
94*4882a593Smuzhiyun 
95*4882a593Smuzhiyun #ifdef CONFIG_DEBUG_SPINLOCK
96*4882a593Smuzhiyun #define DEBUG_SPINLOCK_BUG_ON(p) BUG_ON(p)
97*4882a593Smuzhiyun #else
98*4882a593Smuzhiyun #define DEBUG_SPINLOCK_BUG_ON(p)
99*4882a593Smuzhiyun #endif
100*4882a593Smuzhiyun 
101*4882a593Smuzhiyun /* Requires the irq_lock to be held by the caller. */
irq_is_pending(struct vgic_irq * irq)102*4882a593Smuzhiyun static inline bool irq_is_pending(struct vgic_irq *irq)
103*4882a593Smuzhiyun {
104*4882a593Smuzhiyun 	if (irq->config == VGIC_CONFIG_EDGE)
105*4882a593Smuzhiyun 		return irq->pending_latch;
106*4882a593Smuzhiyun 	else
107*4882a593Smuzhiyun 		return irq->pending_latch || irq->line_level;
108*4882a593Smuzhiyun }
109*4882a593Smuzhiyun 
vgic_irq_is_mapped_level(struct vgic_irq * irq)110*4882a593Smuzhiyun static inline bool vgic_irq_is_mapped_level(struct vgic_irq *irq)
111*4882a593Smuzhiyun {
112*4882a593Smuzhiyun 	return irq->config == VGIC_CONFIG_LEVEL && irq->hw;
113*4882a593Smuzhiyun }
114*4882a593Smuzhiyun 
vgic_irq_get_lr_count(struct vgic_irq * irq)115*4882a593Smuzhiyun static inline int vgic_irq_get_lr_count(struct vgic_irq *irq)
116*4882a593Smuzhiyun {
117*4882a593Smuzhiyun 	/* Account for the active state as an interrupt */
118*4882a593Smuzhiyun 	if (vgic_irq_is_sgi(irq->intid) && irq->source)
119*4882a593Smuzhiyun 		return hweight8(irq->source) + irq->active;
120*4882a593Smuzhiyun 
121*4882a593Smuzhiyun 	return irq_is_pending(irq) || irq->active;
122*4882a593Smuzhiyun }
123*4882a593Smuzhiyun 
vgic_irq_is_multi_sgi(struct vgic_irq * irq)124*4882a593Smuzhiyun static inline bool vgic_irq_is_multi_sgi(struct vgic_irq *irq)
125*4882a593Smuzhiyun {
126*4882a593Smuzhiyun 	return vgic_irq_get_lr_count(irq) > 1;
127*4882a593Smuzhiyun }
128*4882a593Smuzhiyun 
129*4882a593Smuzhiyun /*
130*4882a593Smuzhiyun  * This struct provides an intermediate representation of the fields contained
131*4882a593Smuzhiyun  * in the GICH_VMCR and ICH_VMCR registers, such that code exporting the GIC
132*4882a593Smuzhiyun  * state to userspace can generate either GICv2 or GICv3 CPU interface
133*4882a593Smuzhiyun  * registers regardless of the hardware backed GIC used.
134*4882a593Smuzhiyun  */
135*4882a593Smuzhiyun struct vgic_vmcr {
136*4882a593Smuzhiyun 	u32	grpen0;
137*4882a593Smuzhiyun 	u32	grpen1;
138*4882a593Smuzhiyun 
139*4882a593Smuzhiyun 	u32	ackctl;
140*4882a593Smuzhiyun 	u32	fiqen;
141*4882a593Smuzhiyun 	u32	cbpr;
142*4882a593Smuzhiyun 	u32	eoim;
143*4882a593Smuzhiyun 
144*4882a593Smuzhiyun 	u32	abpr;
145*4882a593Smuzhiyun 	u32	bpr;
146*4882a593Smuzhiyun 	u32	pmr;  /* Priority mask field in the GICC_PMR and
147*4882a593Smuzhiyun 		       * ICC_PMR_EL1 priority field format */
148*4882a593Smuzhiyun };
149*4882a593Smuzhiyun 
150*4882a593Smuzhiyun struct vgic_reg_attr {
151*4882a593Smuzhiyun 	struct kvm_vcpu *vcpu;
152*4882a593Smuzhiyun 	gpa_t addr;
153*4882a593Smuzhiyun };
154*4882a593Smuzhiyun 
155*4882a593Smuzhiyun int vgic_v3_parse_attr(struct kvm_device *dev, struct kvm_device_attr *attr,
156*4882a593Smuzhiyun 		       struct vgic_reg_attr *reg_attr);
157*4882a593Smuzhiyun int vgic_v2_parse_attr(struct kvm_device *dev, struct kvm_device_attr *attr,
158*4882a593Smuzhiyun 		       struct vgic_reg_attr *reg_attr);
159*4882a593Smuzhiyun const struct vgic_register_region *
160*4882a593Smuzhiyun vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,
161*4882a593Smuzhiyun 		     gpa_t addr, int len);
162*4882a593Smuzhiyun struct vgic_irq *vgic_get_irq(struct kvm *kvm, struct kvm_vcpu *vcpu,
163*4882a593Smuzhiyun 			      u32 intid);
164*4882a593Smuzhiyun void __vgic_put_lpi_locked(struct kvm *kvm, struct vgic_irq *irq);
165*4882a593Smuzhiyun void vgic_put_irq(struct kvm *kvm, struct vgic_irq *irq);
166*4882a593Smuzhiyun bool vgic_get_phys_line_level(struct vgic_irq *irq);
167*4882a593Smuzhiyun void vgic_irq_set_phys_pending(struct vgic_irq *irq, bool pending);
168*4882a593Smuzhiyun void vgic_irq_set_phys_active(struct vgic_irq *irq, bool active);
169*4882a593Smuzhiyun bool vgic_queue_irq_unlock(struct kvm *kvm, struct vgic_irq *irq,
170*4882a593Smuzhiyun 			   unsigned long flags);
171*4882a593Smuzhiyun void vgic_kick_vcpus(struct kvm *kvm);
172*4882a593Smuzhiyun 
173*4882a593Smuzhiyun int vgic_check_ioaddr(struct kvm *kvm, phys_addr_t *ioaddr,
174*4882a593Smuzhiyun 		      phys_addr_t addr, phys_addr_t alignment);
175*4882a593Smuzhiyun 
176*4882a593Smuzhiyun void vgic_v2_fold_lr_state(struct kvm_vcpu *vcpu);
177*4882a593Smuzhiyun void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
178*4882a593Smuzhiyun void vgic_v2_clear_lr(struct kvm_vcpu *vcpu, int lr);
179*4882a593Smuzhiyun void vgic_v2_set_underflow(struct kvm_vcpu *vcpu);
180*4882a593Smuzhiyun void vgic_v2_set_npie(struct kvm_vcpu *vcpu);
181*4882a593Smuzhiyun int vgic_v2_has_attr_regs(struct kvm_device *dev, struct kvm_device_attr *attr);
182*4882a593Smuzhiyun int vgic_v2_dist_uaccess(struct kvm_vcpu *vcpu, bool is_write,
183*4882a593Smuzhiyun 			 int offset, u32 *val);
184*4882a593Smuzhiyun int vgic_v2_cpuif_uaccess(struct kvm_vcpu *vcpu, bool is_write,
185*4882a593Smuzhiyun 			  int offset, u32 *val);
186*4882a593Smuzhiyun void vgic_v2_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
187*4882a593Smuzhiyun void vgic_v2_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
188*4882a593Smuzhiyun void vgic_v2_enable(struct kvm_vcpu *vcpu);
189*4882a593Smuzhiyun int vgic_v2_probe(const struct gic_kvm_info *info);
190*4882a593Smuzhiyun int vgic_v2_map_resources(struct kvm *kvm);
191*4882a593Smuzhiyun int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
192*4882a593Smuzhiyun 			     enum vgic_type);
193*4882a593Smuzhiyun 
194*4882a593Smuzhiyun void vgic_v2_init_lrs(void);
195*4882a593Smuzhiyun void vgic_v2_load(struct kvm_vcpu *vcpu);
196*4882a593Smuzhiyun void vgic_v2_put(struct kvm_vcpu *vcpu);
197*4882a593Smuzhiyun void vgic_v2_vmcr_sync(struct kvm_vcpu *vcpu);
198*4882a593Smuzhiyun 
199*4882a593Smuzhiyun void vgic_v2_save_state(struct kvm_vcpu *vcpu);
200*4882a593Smuzhiyun void vgic_v2_restore_state(struct kvm_vcpu *vcpu);
201*4882a593Smuzhiyun 
vgic_get_irq_kref(struct vgic_irq * irq)202*4882a593Smuzhiyun static inline void vgic_get_irq_kref(struct vgic_irq *irq)
203*4882a593Smuzhiyun {
204*4882a593Smuzhiyun 	if (irq->intid < VGIC_MIN_LPI)
205*4882a593Smuzhiyun 		return;
206*4882a593Smuzhiyun 
207*4882a593Smuzhiyun 	kref_get(&irq->refcount);
208*4882a593Smuzhiyun }
209*4882a593Smuzhiyun 
210*4882a593Smuzhiyun void vgic_v3_fold_lr_state(struct kvm_vcpu *vcpu);
211*4882a593Smuzhiyun void vgic_v3_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
212*4882a593Smuzhiyun void vgic_v3_clear_lr(struct kvm_vcpu *vcpu, int lr);
213*4882a593Smuzhiyun void vgic_v3_set_underflow(struct kvm_vcpu *vcpu);
214*4882a593Smuzhiyun void vgic_v3_set_npie(struct kvm_vcpu *vcpu);
215*4882a593Smuzhiyun void vgic_v3_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
216*4882a593Smuzhiyun void vgic_v3_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
217*4882a593Smuzhiyun void vgic_v3_enable(struct kvm_vcpu *vcpu);
218*4882a593Smuzhiyun int vgic_v3_probe(const struct gic_kvm_info *info);
219*4882a593Smuzhiyun int vgic_v3_map_resources(struct kvm *kvm);
220*4882a593Smuzhiyun int vgic_v3_lpi_sync_pending_status(struct kvm *kvm, struct vgic_irq *irq);
221*4882a593Smuzhiyun int vgic_v3_save_pending_tables(struct kvm *kvm);
222*4882a593Smuzhiyun int vgic_v3_set_redist_base(struct kvm *kvm, u32 index, u64 addr, u32 count);
223*4882a593Smuzhiyun int vgic_register_redist_iodev(struct kvm_vcpu *vcpu);
224*4882a593Smuzhiyun bool vgic_v3_check_base(struct kvm *kvm);
225*4882a593Smuzhiyun 
226*4882a593Smuzhiyun void vgic_v3_load(struct kvm_vcpu *vcpu);
227*4882a593Smuzhiyun void vgic_v3_put(struct kvm_vcpu *vcpu);
228*4882a593Smuzhiyun void vgic_v3_vmcr_sync(struct kvm_vcpu *vcpu);
229*4882a593Smuzhiyun 
230*4882a593Smuzhiyun bool vgic_has_its(struct kvm *kvm);
231*4882a593Smuzhiyun int kvm_vgic_register_its_device(void);
232*4882a593Smuzhiyun void vgic_enable_lpis(struct kvm_vcpu *vcpu);
233*4882a593Smuzhiyun void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu);
234*4882a593Smuzhiyun int vgic_its_inject_msi(struct kvm *kvm, struct kvm_msi *msi);
235*4882a593Smuzhiyun int vgic_v3_has_attr_regs(struct kvm_device *dev, struct kvm_device_attr *attr);
236*4882a593Smuzhiyun int vgic_v3_dist_uaccess(struct kvm_vcpu *vcpu, bool is_write,
237*4882a593Smuzhiyun 			 int offset, u32 *val);
238*4882a593Smuzhiyun int vgic_v3_redist_uaccess(struct kvm_vcpu *vcpu, bool is_write,
239*4882a593Smuzhiyun 			 int offset, u32 *val);
240*4882a593Smuzhiyun int vgic_v3_cpu_sysregs_uaccess(struct kvm_vcpu *vcpu, bool is_write,
241*4882a593Smuzhiyun 			 u64 id, u64 *val);
242*4882a593Smuzhiyun int vgic_v3_has_cpu_sysregs_attr(struct kvm_vcpu *vcpu, bool is_write, u64 id,
243*4882a593Smuzhiyun 				u64 *reg);
244*4882a593Smuzhiyun int vgic_v3_line_level_info_uaccess(struct kvm_vcpu *vcpu, bool is_write,
245*4882a593Smuzhiyun 				    u32 intid, u64 *val);
246*4882a593Smuzhiyun int kvm_register_vgic_device(unsigned long type);
247*4882a593Smuzhiyun void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
248*4882a593Smuzhiyun void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
249*4882a593Smuzhiyun int vgic_lazy_init(struct kvm *kvm);
250*4882a593Smuzhiyun int vgic_init(struct kvm *kvm);
251*4882a593Smuzhiyun 
252*4882a593Smuzhiyun void vgic_debug_init(struct kvm *kvm);
253*4882a593Smuzhiyun void vgic_debug_destroy(struct kvm *kvm);
254*4882a593Smuzhiyun 
255*4882a593Smuzhiyun bool lock_all_vcpus(struct kvm *kvm);
256*4882a593Smuzhiyun void unlock_all_vcpus(struct kvm *kvm);
257*4882a593Smuzhiyun 
vgic_v3_max_apr_idx(struct kvm_vcpu * vcpu)258*4882a593Smuzhiyun static inline int vgic_v3_max_apr_idx(struct kvm_vcpu *vcpu)
259*4882a593Smuzhiyun {
260*4882a593Smuzhiyun 	struct vgic_cpu *cpu_if = &vcpu->arch.vgic_cpu;
261*4882a593Smuzhiyun 
262*4882a593Smuzhiyun 	/*
263*4882a593Smuzhiyun 	 * num_pri_bits are initialized with HW supported values.
264*4882a593Smuzhiyun 	 * We can rely safely on num_pri_bits even if VM has not
265*4882a593Smuzhiyun 	 * restored ICC_CTLR_EL1 before restoring APnR registers.
266*4882a593Smuzhiyun 	 */
267*4882a593Smuzhiyun 	switch (cpu_if->num_pri_bits) {
268*4882a593Smuzhiyun 	case 7: return 3;
269*4882a593Smuzhiyun 	case 6: return 1;
270*4882a593Smuzhiyun 	default: return 0;
271*4882a593Smuzhiyun 	}
272*4882a593Smuzhiyun }
273*4882a593Smuzhiyun 
274*4882a593Smuzhiyun static inline bool
vgic_v3_redist_region_full(struct vgic_redist_region * region)275*4882a593Smuzhiyun vgic_v3_redist_region_full(struct vgic_redist_region *region)
276*4882a593Smuzhiyun {
277*4882a593Smuzhiyun 	if (!region->count)
278*4882a593Smuzhiyun 		return false;
279*4882a593Smuzhiyun 
280*4882a593Smuzhiyun 	return (region->free_index >= region->count);
281*4882a593Smuzhiyun }
282*4882a593Smuzhiyun 
283*4882a593Smuzhiyun struct vgic_redist_region *vgic_v3_rdist_free_slot(struct list_head *rdregs);
284*4882a593Smuzhiyun 
285*4882a593Smuzhiyun static inline size_t
vgic_v3_rd_region_size(struct kvm * kvm,struct vgic_redist_region * rdreg)286*4882a593Smuzhiyun vgic_v3_rd_region_size(struct kvm *kvm, struct vgic_redist_region *rdreg)
287*4882a593Smuzhiyun {
288*4882a593Smuzhiyun 	if (!rdreg->count)
289*4882a593Smuzhiyun 		return atomic_read(&kvm->online_vcpus) * KVM_VGIC_V3_REDIST_SIZE;
290*4882a593Smuzhiyun 	else
291*4882a593Smuzhiyun 		return rdreg->count * KVM_VGIC_V3_REDIST_SIZE;
292*4882a593Smuzhiyun }
293*4882a593Smuzhiyun 
294*4882a593Smuzhiyun struct vgic_redist_region *vgic_v3_rdist_region_from_index(struct kvm *kvm,
295*4882a593Smuzhiyun 							   u32 index);
296*4882a593Smuzhiyun 
297*4882a593Smuzhiyun bool vgic_v3_rdist_overlap(struct kvm *kvm, gpa_t base, size_t size);
298*4882a593Smuzhiyun 
vgic_dist_overlap(struct kvm * kvm,gpa_t base,size_t size)299*4882a593Smuzhiyun static inline bool vgic_dist_overlap(struct kvm *kvm, gpa_t base, size_t size)
300*4882a593Smuzhiyun {
301*4882a593Smuzhiyun 	struct vgic_dist *d = &kvm->arch.vgic;
302*4882a593Smuzhiyun 
303*4882a593Smuzhiyun 	return (base + size > d->vgic_dist_base) &&
304*4882a593Smuzhiyun 		(base < d->vgic_dist_base + KVM_VGIC_V3_DIST_SIZE);
305*4882a593Smuzhiyun }
306*4882a593Smuzhiyun 
307*4882a593Smuzhiyun int vgic_copy_lpi_list(struct kvm *kvm, struct kvm_vcpu *vcpu, u32 **intid_ptr);
308*4882a593Smuzhiyun int vgic_its_resolve_lpi(struct kvm *kvm, struct vgic_its *its,
309*4882a593Smuzhiyun 			 u32 devid, u32 eventid, struct vgic_irq **irq);
310*4882a593Smuzhiyun struct vgic_its *vgic_msi_to_its(struct kvm *kvm, struct kvm_msi *msi);
311*4882a593Smuzhiyun int vgic_its_inject_cached_translation(struct kvm *kvm, struct kvm_msi *msi);
312*4882a593Smuzhiyun void vgic_lpi_translation_cache_init(struct kvm *kvm);
313*4882a593Smuzhiyun void vgic_lpi_translation_cache_destroy(struct kvm *kvm);
314*4882a593Smuzhiyun void vgic_its_invalidate_cache(struct kvm *kvm);
315*4882a593Smuzhiyun 
316*4882a593Smuzhiyun bool vgic_supports_direct_msis(struct kvm *kvm);
317*4882a593Smuzhiyun int vgic_v4_init(struct kvm *kvm);
318*4882a593Smuzhiyun void vgic_v4_teardown(struct kvm *kvm);
319*4882a593Smuzhiyun void vgic_v4_configure_vsgis(struct kvm *kvm);
320*4882a593Smuzhiyun 
321*4882a593Smuzhiyun #endif
322