Lines Matching +full:gic +full:- +full:v3 +full:- +full:its
29 #include <linux/irqchip/arm-gic-v4.h>
37 #define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
41 #define KVM_IRQCHIP_NUM_PINS (1020 - 32)
52 /* same for all guests, as depending only on the _host's_ GIC model */
54 /* type of the host GIC */
85 /* GIC system register CPU interface */
95 #define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)
115 * affinity reg (v3).
140 * Callback function pointer to in-kernel devices that can tell us the
141 * state of the input level of mapped level-triggered IRQ faster than
142 * peaking into the physical GIC.
144 * Always called in non-preemptible section and the functions can use
151 for in-kernel devices. */
168 struct vgic_its *its; member
177 /* The base address of the ITS control register frame */
263 /* used by vgic-debug */
267 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
269 * data. This essentially ties the Linux IRQ core and ITS
292 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
295 * linking the Linux IRQ subsystem and the ITS together.
366 #define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
367 #define vgic_initialized(k) ((k)->arch.vgic.initialized)
368 #define vgic_ready(k) ((k)->arch.vgic.ready)
370 ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
380 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
382 * The host's GIC naturally limits the maximum amount of VCPUs a guest