Lines Matching +full:gic +full:- +full:its
1 /* SPDX-License-Identifier: GPL-2.0-only */
18 #include <linux/irqchip/arm-gic-v4.h>
26 #define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
30 #define KVM_IRQCHIP_NUM_PINS (1020 - 32)
41 /* same for all guests, as depending only on the _host's_ GIC model */
43 /* type of the host GIC */
75 /* GIC system register CPU interface */
85 #define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)
130 * Callback function pointer to in-kernel devices that can tell us the
131 * state of the input level of mapped level-triggered IRQ faster than
132 * peaking into the physical GIC.
134 * Always called in non-preemptible section and the functions can use
141 for in-kernel devices. */
158 struct vgic_its *its; member
167 /* The base address of the ITS control register frame */
259 /* used by vgic-debug */
263 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
265 * data. This essentially ties the Linux IRQ core and ITS
290 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
293 * linking the Linux IRQ subsystem and the ITS together.
364 #define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
365 #define vgic_initialized(k) ((k)->arch.vgic.initialized)
366 #define vgic_ready(k) ((k)->arch.vgic.ready)
368 ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
378 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
380 * The host's GIC naturally limits the maximum amount of VCPUs a guest