1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2015, 2016 ARM Ltd.
5 #ifndef __KVM_ARM_VGIC_H
6 #define __KVM_ARM_VGIC_H
8 #include <linux/bits.h>
10 #include <linux/irqreturn.h>
11 #include <linux/kref.h>
12 #include <linux/mutex.h>
13 #include <linux/spinlock.h>
14 #include <linux/static_key.h>
15 #include <linux/types.h>
16 #include <linux/xarray.h>
17 #include <kvm/iodev.h>
18 #include <linux/list.h>
19 #include <linux/jump_label.h>
21 #include <linux/irqchip/arm-gic-v4.h>
23 #define VGIC_V3_MAX_CPUS 512
24 #define VGIC_V2_MAX_CPUS 8
25 #define VGIC_NR_IRQS_LEGACY 256
26 #define VGIC_NR_SGIS 16
27 #define VGIC_NR_PPIS 16
28 #define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
29 #define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
30 #define VGIC_MAX_SPI 1019
31 #define VGIC_MAX_RESERVED 1023
32 #define VGIC_MIN_LPI 8192
33 #define KVM_IRQCHIP_NUM_PINS (1020 - 32)
35 #define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS)
36 #define irq_is_spi(irq) ((irq) >= VGIC_NR_PRIVATE_IRQS && \
37 (irq) <= VGIC_MAX_SPI)
40 VGIC_V2
, /* Good ol' GICv2 */
41 VGIC_V3
, /* New fancy GICv3 */
44 /* same for all guests, as depending only on the _host's_ GIC model */
46 /* type of the host GIC */
49 /* Physical address of vgic virtual cpu interface */
50 phys_addr_t vcpu_base
;
52 /* GICV mapping, kernel VA */
53 void __iomem
*vcpu_base_va
;
54 /* GICV mapping, HYP VA */
55 void __iomem
*vcpu_hyp_va
;
57 /* virtual control interface mapping, kernel VA */
58 void __iomem
*vctrl_base
;
59 /* virtual control interface mapping, HYP VA */
60 void __iomem
*vctrl_hyp
;
62 /* Number of implemented list registers */
65 /* Maintenance IRQ number */
66 unsigned int maint_irq
;
68 /* maximum number of VCPUs allowed (GICv2 limits us to 8) */
71 /* Only needed for the legacy KVM_CREATE_IRQCHIP */
72 bool can_emulate_gicv2
;
74 /* Hardware has GICv4? */
78 /* Pseudo GICv3 from outer space */
79 bool no_hw_deactivation
;
81 /* GIC system register CPU interface */
82 struct static_key_false gicv3_cpuif
;
87 extern struct vgic_global kvm_vgic_global_state
;
89 #define VGIC_V2_MAX_LRS (1 << 6)
90 #define VGIC_V3_MAX_LRS 16
91 #define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)
93 enum vgic_irq_config
{
99 * Per-irq ops overriding some common behavious.
101 * Always called in non-preemptible section and the functions can use
102 * kvm_arm_get_running_vcpu() to get the vcpu pointer for private IRQs.
105 /* Per interrupt flags for special-cased interrupts */
108 #define VGIC_IRQ_SW_RESAMPLE BIT(0) /* Clear the active state for resampling */
111 * Callback function pointer to in-kernel devices that can tell us the
112 * state of the input level of mapped level-triggered IRQ faster than
113 * peaking into the physical GIC.
115 bool (*get_input_level
)(int vintid
);
119 raw_spinlock_t irq_lock
; /* Protects the content of the struct */
121 struct list_head ap_list
;
123 struct kvm_vcpu
*vcpu
; /* SGIs and PPIs: The VCPU
124 * SPIs and LPIs: The VCPU whose ap_list
128 struct kvm_vcpu
*target_vcpu
; /* The VCPU that this interrupt should
129 * be sent to, as a result of the
130 * targets reg (v2) or the
134 u32 intid
; /* Guest visible INTID */
135 bool line_level
; /* Level only */
136 bool pending_latch
; /* The pending latch state used to calculate
137 * the pending state for both level
138 * and edge triggered IRQs. */
139 bool active
; /* not used for LPIs */
141 bool hw
; /* Tied to HW IRQ */
142 struct kref refcount
; /* Used for LPIs */
143 u32 hwintid
; /* HW INTID number */
144 unsigned int host_irq
; /* linux irq corresponding to hwintid */
146 u8 targets
; /* GICv2 target VCPUs mask */
147 u32 mpidr
; /* GICv3 target VCPU */
149 u8 source
; /* GICv2 SGIs only */
150 u8 active_source
; /* GICv2 SGIs only */
152 u8 group
; /* 0 == group 0, 1 == group 1 */
153 enum vgic_irq_config config
; /* Level or edge */
157 void *owner
; /* Opaque pointer to reserve an interrupt
158 for in-kernel devices. */
161 static inline bool vgic_irq_needs_resampling(struct vgic_irq
*irq
)
163 return irq
->ops
&& (irq
->ops
->flags
& VGIC_IRQ_SW_RESAMPLE
);
166 struct vgic_register_region
;
176 struct vgic_io_device
{
179 struct kvm_vcpu
*redist_vcpu
;
180 struct vgic_its
*its
;
182 const struct vgic_register_region
*regions
;
183 enum iodev_type iodev_type
;
185 struct kvm_io_device dev
;
189 /* The base address of the ITS control register frame */
193 struct vgic_io_device iodev
;
194 struct kvm_device
*dev
;
196 /* These registers correspond to GITS_BASER{0,1} */
197 u64 baser_device_table
;
198 u64 baser_coll_table
;
200 /* Protects the command queue */
201 struct mutex cmd_lock
;
206 /* migration ABI revision in use */
209 /* Protects the device and collection lists */
210 struct mutex its_lock
;
211 struct list_head device_list
;
212 struct list_head collection_list
;
215 * Caches the (device_id, event_id) -> vgic_irq translation for
216 * LPIs that are mapped and enabled.
218 struct xarray translation_cache
;
221 struct vgic_state_iter
;
223 struct vgic_redist_region
{
226 u32 count
; /* number of redistributors or 0 if single region */
227 u32 free_index
; /* index of the next free redistributor */
228 struct list_head list
;
236 /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
239 /* Implementation revision as reported in the GICD_IIDR */
240 u32 implementation_rev
;
241 #define KVM_VGIC_IMP_REV_2 2 /* GICv2 restorable groups */
242 #define KVM_VGIC_IMP_REV_3 3 /* GICv3 GICR_CTLR.{IW,CES,RWP} */
243 #define KVM_VGIC_IMP_REV_LATEST KVM_VGIC_IMP_REV_3
245 /* Userspace can write to GICv2 IGROUPR */
246 bool v2_groups_user_writable
;
248 /* Do injected MSIs require an additional device ID? */
249 bool msis_require_devid
;
253 /* base addresses in guest physical address space: */
254 gpa_t vgic_dist_base
; /* distributor */
256 /* either a GICv2 CPU interface */
258 /* or a number of GICv3 redistributor regions */
259 struct list_head rd_regions
;
262 /* distributor enabled */
265 /* Wants SGIs without active state */
268 struct vgic_irq
*spis
;
270 struct vgic_io_device dist_iodev
;
273 bool table_write_in_progress
;
276 * Contains the attributes and gpa of the LPI configuration table.
277 * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
278 * one address across all redistributors.
279 * GICv3 spec: IHI 0069E 6.1.1 "LPI Configuration tables"
283 #define LPI_XA_MARK_DEBUG_ITER XA_MARK_0
284 struct xarray lpi_xa
;
286 /* used by vgic-debug */
287 struct vgic_state_iter
*iter
;
290 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
291 * array, the property table pointer as well as allocation
292 * data. This essentially ties the Linux IRQ core and ITS
293 * together, and avoids leaking KVM's data structures anywhere
296 struct its_vm its_vm
;
299 struct vgic_v2_cpu_if
{
303 u32 vgic_lr
[VGIC_V2_MAX_LRS
];
305 unsigned int used_lrs
;
308 struct vgic_v3_cpu_if
{
311 u32 vgic_sre
; /* Restored only, change ignored */
314 u64 vgic_lr
[VGIC_V3_MAX_LRS
];
317 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
318 * pending table pointer, the its_vm pointer and a few other
319 * HW specific things. As for the its_vm structure, this is
320 * linking the Linux IRQ subsystem and the ITS together.
322 struct its_vpe its_vpe
;
324 unsigned int used_lrs
;
328 /* CPU vif control registers for world switch */
330 struct vgic_v2_cpu_if vgic_v2
;
331 struct vgic_v3_cpu_if vgic_v3
;
334 struct vgic_irq
*private_irqs
;
336 raw_spinlock_t ap_list_lock
; /* Protects the ap_list */
339 * List of IRQs that this VCPU should consider because they are either
340 * Active or Pending (hence the name; AP list), or because they recently
341 * were one of the two and need to be migrated off this list to another
344 struct list_head ap_list_head
;
347 * Members below are used with GICv3 emulation only and represent
348 * parts of the redistributor.
350 struct vgic_io_device rd_iodev
;
351 struct vgic_redist_region
*rdreg
;
355 /* Contains the attributes and gpa of the LPI pending tables. */
357 /* GICR_CTLR.{ENABLE_LPIS,RWP} */
360 /* Cache guest priority bits */
363 /* Cache guest interrupt ID bits */
367 extern struct static_key_false vgic_v2_cpuif_trap
;
368 extern struct static_key_false vgic_v3_cpuif_trap
;
370 int kvm_set_legacy_vgic_v2_addr(struct kvm
*kvm
, struct kvm_arm_device_addr
*dev_addr
);
371 void kvm_vgic_early_init(struct kvm
*kvm
);
372 int kvm_vgic_vcpu_init(struct kvm_vcpu
*vcpu
);
373 int kvm_vgic_create(struct kvm
*kvm
, u32 type
);
374 void kvm_vgic_destroy(struct kvm
*kvm
);
375 void kvm_vgic_vcpu_destroy(struct kvm_vcpu
*vcpu
);
376 int kvm_vgic_map_resources(struct kvm
*kvm
);
377 int kvm_vgic_hyp_init(void);
378 void kvm_vgic_init_cpu_hardware(void);
380 int kvm_vgic_inject_irq(struct kvm
*kvm
, struct kvm_vcpu
*vcpu
,
381 unsigned int intid
, bool level
, void *owner
);
382 int kvm_vgic_map_phys_irq(struct kvm_vcpu
*vcpu
, unsigned int host_irq
,
383 u32 vintid
, struct irq_ops
*ops
);
384 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu
*vcpu
, unsigned int vintid
);
385 int kvm_vgic_get_map(struct kvm_vcpu
*vcpu
, unsigned int vintid
);
386 bool kvm_vgic_map_is_active(struct kvm_vcpu
*vcpu
, unsigned int vintid
);
388 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu
*vcpu
);
390 void kvm_vgic_load(struct kvm_vcpu
*vcpu
);
391 void kvm_vgic_put(struct kvm_vcpu
*vcpu
);
393 #define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
394 #define vgic_initialized(k) ((k)->arch.vgic.initialized)
395 #define vgic_ready(k) ((k)->arch.vgic.ready)
396 #define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \
397 ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
399 bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu
*vcpu
);
400 void kvm_vgic_sync_hwstate(struct kvm_vcpu
*vcpu
);
401 void kvm_vgic_flush_hwstate(struct kvm_vcpu
*vcpu
);
402 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu
*vcpu
, u32 vintid
);
404 void vgic_v3_dispatch_sgi(struct kvm_vcpu
*vcpu
, u64 reg
, bool allow_group1
);
407 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
409 * The host's GIC naturally limits the maximum amount of VCPUs a guest
412 static inline int kvm_vgic_get_max_vcpus(void)
414 return kvm_vgic_global_state
.max_gic_vcpus
;
418 * kvm_vgic_setup_default_irq_routing:
419 * Setup a default flat gsi routing table mapping all SPIs
421 int kvm_vgic_setup_default_irq_routing(struct kvm
*kvm
);
423 int kvm_vgic_set_owner(struct kvm_vcpu
*vcpu
, unsigned int intid
, void *owner
);
425 struct kvm_kernel_irq_routing_entry
;
427 int kvm_vgic_v4_set_forwarding(struct kvm
*kvm
, int irq
,
428 struct kvm_kernel_irq_routing_entry
*irq_entry
);
430 int kvm_vgic_v4_unset_forwarding(struct kvm
*kvm
, int irq
,
431 struct kvm_kernel_irq_routing_entry
*irq_entry
);
433 int vgic_v4_load(struct kvm_vcpu
*vcpu
);
434 void vgic_v4_commit(struct kvm_vcpu
*vcpu
);
435 int vgic_v4_put(struct kvm_vcpu
*vcpu
);
437 /* CPU HP callbacks */
438 void kvm_vgic_cpu_up(void);
439 void kvm_vgic_cpu_down(void);
441 #endif /* __KVM_ARM_VGIC_H */