blob: ec621180ef094c24d9a87b169d6531dcdf066987 [file] [log] [blame]
Thomas Gleixnercaab2772019-06-03 07:44:50 +02001/* SPDX-License-Identifier: GPL-2.0-only */
Marc Zyngier1a89dd92013-01-21 19:36:12 -05002/*
Marc Zyngier50926d82016-05-28 11:27:11 +01003 * Copyright (C) 2015, 2016 ARM Ltd.
Marc Zyngier1a89dd92013-01-21 19:36:12 -05004 */
Marc Zyngier50926d82016-05-28 11:27:11 +01005#ifndef __KVM_ARM_VGIC_H
6#define __KVM_ARM_VGIC_H
Christoffer Dallb18b5772015-11-23 07:20:05 -08007
Marc Zyngierb47ef922013-01-21 19:36:14 -05008#include <linux/kernel.h>
9#include <linux/kvm.h>
Marc Zyngierb47ef922013-01-21 19:36:14 -050010#include <linux/irqreturn.h>
11#include <linux/spinlock.h>
Marc Zyngierfb5ee362016-09-06 09:28:45 +010012#include <linux/static_key.h>
Marc Zyngierb47ef922013-01-21 19:36:14 -050013#include <linux/types.h>
Andre Przywara6777f772015-03-26 14:39:34 +000014#include <kvm/iodev.h>
Andre Przywara424c3382016-07-15 12:43:32 +010015#include <linux/list.h>
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010016#include <linux/jump_label.h>
Marc Zyngier1a89dd92013-01-21 19:36:12 -050017
Marc Zyngier74fe55d2017-10-27 15:28:38 +010018#include <linux/irqchip/arm-gic-v4.h>
19
Eric Augere25028c2018-05-22 09:55:18 +020020#define VGIC_V3_MAX_CPUS 512
Marc Zyngier50926d82016-05-28 11:27:11 +010021#define VGIC_V2_MAX_CPUS 8
22#define VGIC_NR_IRQS_LEGACY 256
Marc Zyngierb47ef922013-01-21 19:36:14 -050023#define VGIC_NR_SGIS 16
24#define VGIC_NR_PPIS 16
25#define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
Marc Zyngier50926d82016-05-28 11:27:11 +010026#define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
27#define VGIC_MAX_SPI 1019
28#define VGIC_MAX_RESERVED 1023
29#define VGIC_MIN_LPI 8192
Eric Auger180ae7b2016-07-22 16:20:41 +000030#define KVM_IRQCHIP_NUM_PINS (1020 - 32)
Marc Zyngier8d5c6b02013-06-03 15:55:02 +010031
Christoffer Dall3cba4af2017-05-02 20:11:49 +020032#define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS)
Christoffer Dallebb127f2017-05-16 19:53:50 +020033#define irq_is_spi(irq) ((irq) >= VGIC_NR_PRIVATE_IRQS && \
34 (irq) <= VGIC_MAX_SPI)
Christoffer Dall3cba4af2017-05-02 20:11:49 +020035
Marc Zyngier1a9b1302013-06-21 11:57:56 +010036enum vgic_type {
37 VGIC_V2, /* Good ol' GICv2 */
Marc Zyngierb2fb1c02013-07-12 15:15:23 +010038 VGIC_V3, /* New fancy GICv3 */
Marc Zyngier1a9b1302013-06-21 11:57:56 +010039};
40
Marc Zyngier50926d82016-05-28 11:27:11 +010041/* same for all guests, as depending only on the _host's_ GIC model */
42struct vgic_global {
43 /* type of the host GIC */
44 enum vgic_type type;
Marc Zyngier8d5c6b02013-06-03 15:55:02 +010045
Marc Zyngierca85f622013-06-18 19:17:28 +010046 /* Physical address of vgic virtual cpu interface */
Marc Zyngier50926d82016-05-28 11:27:11 +010047 phys_addr_t vcpu_base;
48
Marc Zyngier1bb32a42017-12-04 16:43:23 +000049 /* GICV mapping, kernel VA */
Marc Zyngierbf8feb32016-09-06 09:28:46 +010050 void __iomem *vcpu_base_va;
Marc Zyngier1bb32a42017-12-04 16:43:23 +000051 /* GICV mapping, HYP VA */
52 void __iomem *vcpu_hyp_va;
Marc Zyngierbf8feb32016-09-06 09:28:46 +010053
Marc Zyngier1bb32a42017-12-04 16:43:23 +000054 /* virtual control interface mapping, kernel VA */
Marc Zyngier50926d82016-05-28 11:27:11 +010055 void __iomem *vctrl_base;
Marc Zyngier1bb32a42017-12-04 16:43:23 +000056 /* virtual control interface mapping, HYP VA */
57 void __iomem *vctrl_hyp;
Marc Zyngier50926d82016-05-28 11:27:11 +010058
59 /* Number of implemented list registers */
60 int nr_lr;
61
62 /* Maintenance IRQ number */
63 unsigned int maint_irq;
64
65 /* maximum number of VCPUs allowed (GICv2 limits us to 8) */
66 int max_gic_vcpus;
67
Andre Przywarab5d84ff62014-06-03 10:26:03 +020068 /* Only needed for the legacy KVM_CREATE_IRQCHIP */
Marc Zyngier50926d82016-05-28 11:27:11 +010069 bool can_emulate_gicv2;
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010070
Marc Zyngiere7c48052017-10-27 15:28:37 +010071 /* Hardware has GICv4? */
72 bool has_gicv4;
Marc Zyngierae699ad2020-03-04 20:33:20 +000073 bool has_gicv4_1;
Marc Zyngiere7c48052017-10-27 15:28:37 +010074
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010075 /* GIC system register CPU interface */
76 struct static_key_false gicv3_cpuif;
Vijaya Kumar Kd017d7b2017-01-26 19:50:51 +053077
78 u32 ich_vtr_el2;
Marc Zyngierca85f622013-06-18 19:17:28 +010079};
80
Marc Zyngier50926d82016-05-28 11:27:11 +010081extern struct vgic_global kvm_vgic_global_state;
82
83#define VGIC_V2_MAX_LRS (1 << 6)
84#define VGIC_V3_MAX_LRS 16
85#define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)
86
87enum vgic_irq_config {
88 VGIC_CONFIG_EDGE = 0,
89 VGIC_CONFIG_LEVEL
Andre Przywarab26e5fd2014-06-02 16:19:12 +020090};
91
Marc Zyngier50926d82016-05-28 11:27:11 +010092struct vgic_irq {
Julien Thierry8fa3adb2019-01-07 15:06:15 +000093 raw_spinlock_t irq_lock; /* Protects the content of the struct */
Andre Przywara38024112016-07-15 12:43:33 +010094 struct list_head lpi_list; /* Used to link all LPIs together */
Marc Zyngier50926d82016-05-28 11:27:11 +010095 struct list_head ap_list;
96
97 struct kvm_vcpu *vcpu; /* SGIs and PPIs: The VCPU
98 * SPIs and LPIs: The VCPU whose ap_list
99 * this is queued on.
100 */
101
102 struct kvm_vcpu *target_vcpu; /* The VCPU that this interrupt should
103 * be sent to, as a result of the
104 * targets reg (v2) or the
105 * affinity reg (v3).
106 */
107
108 u32 intid; /* Guest visible INTID */
Marc Zyngier50926d82016-05-28 11:27:11 +0100109 bool line_level; /* Level only */
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100110 bool pending_latch; /* The pending latch state used to calculate
111 * the pending state for both level
112 * and edge triggered IRQs. */
Marc Zyngier50926d82016-05-28 11:27:11 +0100113 bool active; /* not used for LPIs */
114 bool enabled;
115 bool hw; /* Tied to HW IRQ */
Andre Przywara5dd4b922016-07-15 12:43:27 +0100116 struct kref refcount; /* Used for LPIs */
Marc Zyngier50926d82016-05-28 11:27:11 +0100117 u32 hwintid; /* HW INTID number */
Eric Auger47bbd312017-10-27 15:28:32 +0100118 unsigned int host_irq; /* linux irq corresponding to hwintid */
Marc Zyngier50926d82016-05-28 11:27:11 +0100119 union {
120 u8 targets; /* GICv2 target VCPUs mask */
121 u32 mpidr; /* GICv3 target VCPU */
122 };
123 u8 source; /* GICv2 SGIs only */
Marc Zyngier53692902018-04-18 10:39:04 +0100124 u8 active_source; /* GICv2 SGIs only */
Marc Zyngier50926d82016-05-28 11:27:11 +0100125 u8 priority;
Christoffer Dall8df3c8f2018-07-16 15:06:21 +0200126 u8 group; /* 0 == group 0, 1 == group 1 */
Marc Zyngier50926d82016-05-28 11:27:11 +0100127 enum vgic_irq_config config; /* Level or edge */
Christoffer Dallc6ccd302017-05-04 13:24:20 +0200128
Christoffer Dallb6909a62017-10-27 19:30:09 +0200129 /*
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.
133 *
134 * Always called in non-preemptible section and the functions can use
135 * kvm_arm_get_running_vcpu() to get the vcpu pointer for private
136 * IRQs.
137 */
138 bool (*get_input_level)(int vintid);
139
Christoffer Dallc6ccd302017-05-04 13:24:20 +0200140 void *owner; /* Opaque pointer to reserve an interrupt
141 for in-kernel devices. */
Marc Zyngier50926d82016-05-28 11:27:11 +0100142};
143
144struct vgic_register_region;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100145struct vgic_its;
146
147enum iodev_type {
148 IODEV_CPUIF,
149 IODEV_DIST,
150 IODEV_REDIST,
151 IODEV_ITS
152};
Marc Zyngier50926d82016-05-28 11:27:11 +0100153
Andre Przywara6777f772015-03-26 14:39:34 +0000154struct vgic_io_device {
Marc Zyngier50926d82016-05-28 11:27:11 +0100155 gpa_t base_addr;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100156 union {
157 struct kvm_vcpu *redist_vcpu;
158 struct vgic_its *its;
159 };
Marc Zyngier50926d82016-05-28 11:27:11 +0100160 const struct vgic_register_region *regions;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100161 enum iodev_type iodev_type;
Marc Zyngier50926d82016-05-28 11:27:11 +0100162 int nr_regions;
Andre Przywara6777f772015-03-26 14:39:34 +0000163 struct kvm_io_device dev;
164};
165
Andre Przywara59c5ab42016-07-15 12:43:30 +0100166struct vgic_its {
167 /* The base address of the ITS control register frame */
168 gpa_t vgic_its_base;
169
170 bool enabled;
171 struct vgic_io_device iodev;
Marc Zyngierbb717642016-07-17 21:35:07 +0100172 struct kvm_device *dev;
Andre Przywara424c3382016-07-15 12:43:32 +0100173
174 /* These registers correspond to GITS_BASER{0,1} */
175 u64 baser_device_table;
176 u64 baser_coll_table;
177
178 /* Protects the command queue */
179 struct mutex cmd_lock;
180 u64 cbaser;
181 u32 creadr;
182 u32 cwriter;
183
Eric Auger71afe472017-04-13 09:06:20 +0200184 /* migration ABI revision in use */
185 u32 abi_rev;
186
Andre Przywara424c3382016-07-15 12:43:32 +0100187 /* Protects the device and collection lists */
188 struct mutex its_lock;
189 struct list_head device_list;
190 struct list_head collection_list;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100191};
192
Christoffer Dall10f92c42017-01-17 23:09:13 +0100193struct vgic_state_iter;
194
Eric Augerdbd97332018-05-22 09:55:08 +0200195struct vgic_redist_region {
196 u32 index;
197 gpa_t base;
198 u32 count; /* number of redistributors or 0 if single region */
199 u32 free_index; /* index of the next free redistributor */
200 struct list_head list;
201};
202
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500203struct vgic_dist {
Marc Zyngierf982cf42014-05-15 10:03:25 +0100204 bool in_kernel;
Marc Zyngier01ac5e32013-01-21 19:36:16 -0500205 bool ready;
Marc Zyngier50926d82016-05-28 11:27:11 +0100206 bool initialized;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500207
Andre Przywara598921362014-06-03 09:33:10 +0200208 /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
209 u32 vgic_model;
210
Christoffer Dallaa075b02018-07-16 15:06:19 +0200211 /* Implementation revision as reported in the GICD_IIDR */
212 u32 implementation_rev;
213
Christoffer Dall32f87772018-07-16 15:06:26 +0200214 /* Userspace can write to GICv2 IGROUPR */
215 bool v2_groups_user_writable;
216
Andre Przywara0e4e82f2016-07-15 12:43:38 +0100217 /* Do injected MSIs require an additional device ID? */
218 bool msis_require_devid;
219
Marc Zyngier50926d82016-05-28 11:27:11 +0100220 int nr_spis;
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100221
Marc Zyngier50926d82016-05-28 11:27:11 +0100222 /* base addresses in guest physical address space: */
223 gpa_t vgic_dist_base; /* distributor */
Andre Przywaraa0675c22014-06-07 00:54:51 +0200224 union {
Marc Zyngier50926d82016-05-28 11:27:11 +0100225 /* either a GICv2 CPU interface */
226 gpa_t vgic_cpu_base;
227 /* or a number of GICv3 redistributor regions */
Eric Augerdbd97332018-05-22 09:55:08 +0200228 struct list_head rd_regions;
Andre Przywaraa0675c22014-06-07 00:54:51 +0200229 };
Marc Zyngierb47ef922013-01-21 19:36:14 -0500230
Marc Zyngier50926d82016-05-28 11:27:11 +0100231 /* distributor enabled */
232 bool enabled;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500233
Marc Zyngierbacf2c62020-03-04 20:33:26 +0000234 /* Wants SGIs without active state */
235 bool nassgireq;
236
Marc Zyngier50926d82016-05-28 11:27:11 +0100237 struct vgic_irq *spis;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500238
Andre Przywaraa9cf86f2015-03-26 14:39:35 +0000239 struct vgic_io_device dist_iodev;
Andre Przywara0aa1de52016-07-15 12:43:29 +0100240
Andre Przywara1085fdc2016-07-15 12:43:31 +0100241 bool has_its;
242
Andre Przywara0aa1de52016-07-15 12:43:29 +0100243 /*
244 * Contains the attributes and gpa of the LPI configuration table.
245 * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
246 * one address across all redistributors.
Zenghui Yubad36e42019-10-29 15:19:18 +0800247 * GICv3 spec: IHI 0069E 6.1.1 "LPI Configuration tables"
Andre Przywara0aa1de52016-07-15 12:43:29 +0100248 */
249 u64 propbaser;
Andre Przywara38024112016-07-15 12:43:33 +0100250
251 /* Protects the lpi_list and the count value below. */
Julien Thierryfc3bc472019-01-07 15:06:16 +0000252 raw_spinlock_t lpi_list_lock;
Andre Przywara38024112016-07-15 12:43:33 +0100253 struct list_head lpi_list_head;
254 int lpi_list_count;
Christoffer Dall10f92c42017-01-17 23:09:13 +0100255
Marc Zyngier24cab822019-03-18 10:13:01 +0000256 /* LPI translation cache */
257 struct list_head lpi_translation_cache;
258
Christoffer Dall10f92c42017-01-17 23:09:13 +0100259 /* used by vgic-debug */
260 struct vgic_state_iter *iter;
Marc Zyngier74fe55d2017-10-27 15:28:38 +0100261
262 /*
263 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
264 * array, the property table pointer as well as allocation
265 * data. This essentially ties the Linux IRQ core and ITS
266 * together, and avoids leaking KVM's data structures anywhere
267 * else.
268 */
269 struct its_vm its_vm;
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500270};
271
Marc Zyngiereede8212013-05-30 10:20:36 +0100272struct vgic_v2_cpu_if {
273 u32 vgic_hcr;
274 u32 vgic_vmcr;
Marc Zyngiereede8212013-05-30 10:20:36 +0100275 u32 vgic_apr;
Marc Zyngier8f186d52014-02-04 18:13:03 +0000276 u32 vgic_lr[VGIC_V2_MAX_LRS];
Christoffer Dallfc5d1f12018-12-01 08:41:28 -0800277
278 unsigned int used_lrs;
Marc Zyngiereede8212013-05-30 10:20:36 +0100279};
280
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100281struct vgic_v3_cpu_if {
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100282 u32 vgic_hcr;
283 u32 vgic_vmcr;
Andre Przywara2f5fa412014-06-03 08:58:15 +0200284 u32 vgic_sre; /* Restored only, change ignored */
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100285 u32 vgic_ap0r[4];
286 u32 vgic_ap1r[4];
287 u64 vgic_lr[VGIC_V3_MAX_LRS];
Marc Zyngier74fe55d2017-10-27 15:28:38 +0100288
289 /*
290 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
291 * pending table pointer, the its_vm pointer and a few other
292 * HW specific things. As for the its_vm structure, this is
293 * linking the Linux IRQ subsystem and the ITS together.
294 */
295 struct its_vpe its_vpe;
Christoffer Dallfc5d1f12018-12-01 08:41:28 -0800296
297 unsigned int used_lrs;
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100298};
299
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500300struct vgic_cpu {
Marc Zyngier9d949dc2013-01-21 19:36:14 -0500301 /* CPU vif control registers for world switch */
Marc Zyngiereede8212013-05-30 10:20:36 +0100302 union {
303 struct vgic_v2_cpu_if vgic_v2;
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100304 struct vgic_v3_cpu_if vgic_v3;
Marc Zyngiereede8212013-05-30 10:20:36 +0100305 };
Marc Zyngier6c3d63c2014-06-23 17:37:18 +0100306
Marc Zyngier50926d82016-05-28 11:27:11 +0100307 struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS];
Marc Zyngier59f00ff2016-02-02 19:35:34 +0000308
Julien Thierrye08d8d22019-01-07 15:06:17 +0000309 raw_spinlock_t ap_list_lock; /* Protects the ap_list */
Marc Zyngier50926d82016-05-28 11:27:11 +0100310
311 /*
312 * List of IRQs that this VCPU should consider because they are either
313 * Active or Pending (hence the name; AP list), or because they recently
314 * were one of the two and need to be migrated off this list to another
315 * VCPU.
316 */
317 struct list_head ap_list_head;
318
Andre Przywara8f6cdc12016-07-15 12:43:22 +0100319 /*
320 * Members below are used with GICv3 emulation only and represent
321 * parts of the redistributor.
322 */
323 struct vgic_io_device rd_iodev;
Eric Augerdbd97332018-05-22 09:55:08 +0200324 struct vgic_redist_region *rdreg;
Eric Auger28e9d4b2021-04-05 18:39:40 +0200325 u32 rdreg_index;
Andre Przywara0aa1de52016-07-15 12:43:29 +0100326
327 /* Contains the attributes and gpa of the LPI pending tables. */
328 u64 pendbaser;
329
330 bool lpis_enabled;
Vijaya Kumar Kd017d7b2017-01-26 19:50:51 +0530331
332 /* Cache guest priority bits */
333 u32 num_pri_bits;
334
335 /* Cache guest interrupt ID bits */
336 u32 num_id_bits;
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500337};
338
Marc Zyngierfb5ee362016-09-06 09:28:45 +0100339extern struct static_key_false vgic_v2_cpuif_trap;
Marc Zyngier59da1cb2017-06-09 12:49:33 +0100340extern struct static_key_false vgic_v3_cpuif_trap;
Marc Zyngierfb5ee362016-09-06 09:28:45 +0100341
Christoffer Dallce01e4e2013-09-23 14:55:56 -0700342int kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write);
Marc Zyngier6c3d63c2014-06-23 17:37:18 +0100343void kvm_vgic_early_init(struct kvm *kvm);
Christoffer Dall1aab6f42017-05-08 12:30:24 +0200344int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
Andre Przywara598921362014-06-03 09:33:10 +0200345int kvm_vgic_create(struct kvm *kvm, u32 type);
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100346void kvm_vgic_destroy(struct kvm *kvm);
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100347void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
Marc Zyngier50926d82016-05-28 11:27:11 +0100348int kvm_vgic_map_resources(struct kvm *kvm);
349int kvm_vgic_hyp_init(void);
Christoffer Dall5b0d2cc2017-03-18 13:56:56 +0100350void kvm_vgic_init_cpu_hardware(void);
Marc Zyngier50926d82016-05-28 11:27:11 +0100351
352int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
Christoffer Dallcb3f0ad2017-05-16 12:41:18 +0200353 bool level, void *owner);
Eric Auger47bbd312017-10-27 15:28:32 +0100354int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq,
Christoffer Dallb6909a62017-10-27 19:30:09 +0200355 u32 vintid, bool (*get_input_level)(int vindid));
Eric Auger47bbd312017-10-27 15:28:32 +0100356int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
357bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500358
Marc Zyngier50926d82016-05-28 11:27:11 +0100359int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
360
Christoffer Dall328e5662016-03-24 11:21:04 +0100361void kvm_vgic_load(struct kvm_vcpu *vcpu);
362void kvm_vgic_put(struct kvm_vcpu *vcpu);
Marc Zyngier5eeaf102019-08-02 10:28:32 +0100363void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu);
Christoffer Dall328e5662016-03-24 11:21:04 +0100364
Marc Zyngierf982cf42014-05-15 10:03:25 +0100365#define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
Marc Zyngier50926d82016-05-28 11:27:11 +0100366#define vgic_initialized(k) ((k)->arch.vgic.initialized)
Christoffer Dallc52edf52014-12-09 14:28:09 +0100367#define vgic_ready(k) ((k)->arch.vgic.ready)
Andre Przywara2defaff2016-03-07 17:32:29 +0700368#define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \
Marc Zyngier50926d82016-05-28 11:27:11 +0100369 ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
Marc Zyngier9d949dc2013-01-21 19:36:14 -0500370
Marc Zyngier50926d82016-05-28 11:27:11 +0100371bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
372void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
373void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
Christoffer Dall413aa802018-03-05 11:36:38 +0100374void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
Marc Zyngier50926d82016-05-28 11:27:11 +0100375
Marc Zyngier6249f2a2018-08-06 12:51:19 +0100376void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
Marc Zyngier8f186d52014-02-04 18:13:03 +0000377
Marc Zyngier50926d82016-05-28 11:27:11 +0100378/**
379 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
380 *
381 * The host's GIC naturally limits the maximum amount of VCPUs a guest
382 * can use.
383 */
384static inline int kvm_vgic_get_max_vcpus(void)
385{
386 return kvm_vgic_global_state.max_gic_vcpus;
387}
388
Eric Auger180ae7b2016-07-22 16:20:41 +0000389/**
390 * kvm_vgic_setup_default_irq_routing:
391 * Setup a default flat gsi routing table mapping all SPIs
392 */
393int kvm_vgic_setup_default_irq_routing(struct kvm *kvm);
394
Christoffer Dallc6ccd302017-05-04 13:24:20 +0200395int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);
396
Marc Zyngier196b1362017-10-27 15:28:39 +0100397struct kvm_kernel_irq_routing_entry;
398
399int kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq,
400 struct kvm_kernel_irq_routing_entry *irq_entry);
401
402int kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq,
403 struct kvm_kernel_irq_routing_entry *irq_entry);
404
Marc Zyngier8e01d9a2019-10-27 14:41:59 +0000405int vgic_v4_load(struct kvm_vcpu *vcpu);
Shenming Lu57e3ceb2020-11-28 22:18:57 +0800406void vgic_v4_commit(struct kvm_vcpu *vcpu);
Marc Zyngier8e01d9a2019-10-27 14:41:59 +0000407int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db);
Marc Zyngierdf9ba952017-10-27 15:28:49 +0100408
Marc Zyngier50926d82016-05-28 11:27:11 +0100409#endif /* __KVM_ARM_VGIC_H */