blob: 8c896540a72cf4e933556627fa04bce0bf1d2ce3 [file] [log] [blame]
Marc Zyngier1a89dd92013-01-21 19:36:12 -05001/*
Marc Zyngier50926d82016-05-28 11:27:11 +01002 * Copyright (C) 2015, 2016 ARM Ltd.
Marc Zyngier1a89dd92013-01-21 19:36:12 -05003 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
Marc Zyngier50926d82016-05-28 11:27:11 +010014 * along with this program. If not, see <http://www.gnu.org/licenses/>.
Marc Zyngier1a89dd92013-01-21 19:36:12 -050015 */
Marc Zyngier50926d82016-05-28 11:27:11 +010016#ifndef __KVM_ARM_VGIC_H
17#define __KVM_ARM_VGIC_H
Christoffer Dallb18b5772015-11-23 07:20:05 -080018
Marc Zyngierb47ef922013-01-21 19:36:14 -050019#include <linux/kernel.h>
20#include <linux/kvm.h>
Marc Zyngierb47ef922013-01-21 19:36:14 -050021#include <linux/irqreturn.h>
22#include <linux/spinlock.h>
Marc Zyngierfb5ee362016-09-06 09:28:45 +010023#include <linux/static_key.h>
Marc Zyngierb47ef922013-01-21 19:36:14 -050024#include <linux/types.h>
Andre Przywara6777f772015-03-26 14:39:34 +000025#include <kvm/iodev.h>
Andre Przywara424c3382016-07-15 12:43:32 +010026#include <linux/list.h>
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010027#include <linux/jump_label.h>
Marc Zyngier1a89dd92013-01-21 19:36:12 -050028
Marc Zyngier74fe55d2017-10-27 15:28:38 +010029#include <linux/irqchip/arm-gic-v4.h>
30
Marc Zyngier50926d82016-05-28 11:27:11 +010031#define VGIC_V3_MAX_CPUS 255
32#define VGIC_V2_MAX_CPUS 8
33#define VGIC_NR_IRQS_LEGACY 256
Marc Zyngierb47ef922013-01-21 19:36:14 -050034#define VGIC_NR_SGIS 16
35#define VGIC_NR_PPIS 16
36#define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
Marc Zyngier50926d82016-05-28 11:27:11 +010037#define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
38#define VGIC_MAX_SPI 1019
39#define VGIC_MAX_RESERVED 1023
40#define VGIC_MIN_LPI 8192
Eric Auger180ae7b2016-07-22 16:20:41 +000041#define KVM_IRQCHIP_NUM_PINS (1020 - 32)
Marc Zyngier8d5c6b02013-06-03 15:55:02 +010042
Christoffer Dall3cba4af2017-05-02 20:11:49 +020043#define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS)
Christoffer Dallebb127f2017-05-16 19:53:50 +020044#define irq_is_spi(irq) ((irq) >= VGIC_NR_PRIVATE_IRQS && \
45 (irq) <= VGIC_MAX_SPI)
Christoffer Dall3cba4af2017-05-02 20:11:49 +020046
Marc Zyngier1a9b1302013-06-21 11:57:56 +010047enum vgic_type {
48 VGIC_V2, /* Good ol' GICv2 */
Marc Zyngierb2fb1c02013-07-12 15:15:23 +010049 VGIC_V3, /* New fancy GICv3 */
Marc Zyngier1a9b1302013-06-21 11:57:56 +010050};
51
Marc Zyngier50926d82016-05-28 11:27:11 +010052/* same for all guests, as depending only on the _host's_ GIC model */
53struct vgic_global {
54 /* type of the host GIC */
55 enum vgic_type type;
Marc Zyngier8d5c6b02013-06-03 15:55:02 +010056
Marc Zyngierca85f622013-06-18 19:17:28 +010057 /* Physical address of vgic virtual cpu interface */
Marc Zyngier50926d82016-05-28 11:27:11 +010058 phys_addr_t vcpu_base;
59
Marc Zyngierbf8feb32016-09-06 09:28:46 +010060 /* GICV mapping */
61 void __iomem *vcpu_base_va;
62
Marc Zyngier50926d82016-05-28 11:27:11 +010063 /* virtual control interface mapping */
64 void __iomem *vctrl_base;
65
66 /* Number of implemented list registers */
67 int nr_lr;
68
69 /* Maintenance IRQ number */
70 unsigned int maint_irq;
71
72 /* maximum number of VCPUs allowed (GICv2 limits us to 8) */
73 int max_gic_vcpus;
74
Andre Przywarab5d84ff2014-06-03 10:26:03 +020075 /* Only needed for the legacy KVM_CREATE_IRQCHIP */
Marc Zyngier50926d82016-05-28 11:27:11 +010076 bool can_emulate_gicv2;
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010077
Marc Zyngiere7c48052017-10-27 15:28:37 +010078 /* Hardware has GICv4? */
79 bool has_gicv4;
80
Vladimir Murzin5a7a8422016-09-12 15:49:15 +010081 /* GIC system register CPU interface */
82 struct static_key_false gicv3_cpuif;
Vijaya Kumar Kd017d7b2017-01-26 19:50:51 +053083
84 u32 ich_vtr_el2;
Marc Zyngierca85f622013-06-18 19:17:28 +010085};
86
Marc Zyngier50926d82016-05-28 11:27:11 +010087extern struct vgic_global kvm_vgic_global_state;
88
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)
92
93enum vgic_irq_config {
94 VGIC_CONFIG_EDGE = 0,
95 VGIC_CONFIG_LEVEL
Andre Przywarab26e5fd2014-06-02 16:19:12 +020096};
97
Marc Zyngier50926d82016-05-28 11:27:11 +010098struct vgic_irq {
99 spinlock_t irq_lock; /* Protects the content of the struct */
Andre Przywara38024112016-07-15 12:43:33 +0100100 struct list_head lpi_list; /* Used to link all LPIs together */
Marc Zyngier50926d82016-05-28 11:27:11 +0100101 struct list_head ap_list;
102
103 struct kvm_vcpu *vcpu; /* SGIs and PPIs: The VCPU
104 * SPIs and LPIs: The VCPU whose ap_list
105 * this is queued on.
106 */
107
108 struct kvm_vcpu *target_vcpu; /* The VCPU that this interrupt should
109 * be sent to, as a result of the
110 * targets reg (v2) or the
111 * affinity reg (v3).
112 */
113
114 u32 intid; /* Guest visible INTID */
Marc Zyngier50926d82016-05-28 11:27:11 +0100115 bool line_level; /* Level only */
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100116 bool pending_latch; /* The pending latch state used to calculate
117 * the pending state for both level
118 * and edge triggered IRQs. */
Marc Zyngier50926d82016-05-28 11:27:11 +0100119 bool active; /* not used for LPIs */
120 bool enabled;
121 bool hw; /* Tied to HW IRQ */
Andre Przywara5dd4b922016-07-15 12:43:27 +0100122 struct kref refcount; /* Used for LPIs */
Marc Zyngier50926d82016-05-28 11:27:11 +0100123 u32 hwintid; /* HW INTID number */
Eric Auger47bbd312017-10-27 15:28:32 +0100124 unsigned int host_irq; /* linux irq corresponding to hwintid */
Marc Zyngier50926d82016-05-28 11:27:11 +0100125 union {
126 u8 targets; /* GICv2 target VCPUs mask */
127 u32 mpidr; /* GICv3 target VCPU */
128 };
129 u8 source; /* GICv2 SGIs only */
130 u8 priority;
131 enum vgic_irq_config config; /* Level or edge */
Christoffer Dallc6ccd302017-05-04 13:24:20 +0200132
133 void *owner; /* Opaque pointer to reserve an interrupt
134 for in-kernel devices. */
Marc Zyngier50926d82016-05-28 11:27:11 +0100135};
136
137struct vgic_register_region;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100138struct vgic_its;
139
140enum iodev_type {
141 IODEV_CPUIF,
142 IODEV_DIST,
143 IODEV_REDIST,
144 IODEV_ITS
145};
Marc Zyngier50926d82016-05-28 11:27:11 +0100146
Andre Przywara6777f772015-03-26 14:39:34 +0000147struct vgic_io_device {
Marc Zyngier50926d82016-05-28 11:27:11 +0100148 gpa_t base_addr;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100149 union {
150 struct kvm_vcpu *redist_vcpu;
151 struct vgic_its *its;
152 };
Marc Zyngier50926d82016-05-28 11:27:11 +0100153 const struct vgic_register_region *regions;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100154 enum iodev_type iodev_type;
Marc Zyngier50926d82016-05-28 11:27:11 +0100155 int nr_regions;
Andre Przywara6777f772015-03-26 14:39:34 +0000156 struct kvm_io_device dev;
157};
158
Andre Przywara59c5ab42016-07-15 12:43:30 +0100159struct vgic_its {
160 /* The base address of the ITS control register frame */
161 gpa_t vgic_its_base;
162
163 bool enabled;
164 struct vgic_io_device iodev;
Marc Zyngierbb717642016-07-17 21:35:07 +0100165 struct kvm_device *dev;
Andre Przywara424c3382016-07-15 12:43:32 +0100166
167 /* These registers correspond to GITS_BASER{0,1} */
168 u64 baser_device_table;
169 u64 baser_coll_table;
170
171 /* Protects the command queue */
172 struct mutex cmd_lock;
173 u64 cbaser;
174 u32 creadr;
175 u32 cwriter;
176
Eric Auger71afe472017-04-13 09:06:20 +0200177 /* migration ABI revision in use */
178 u32 abi_rev;
179
Andre Przywara424c3382016-07-15 12:43:32 +0100180 /* Protects the device and collection lists */
181 struct mutex its_lock;
182 struct list_head device_list;
183 struct list_head collection_list;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100184};
185
Christoffer Dall10f92c42017-01-17 23:09:13 +0100186struct vgic_state_iter;
187
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500188struct vgic_dist {
Marc Zyngierf982cf42014-05-15 10:03:25 +0100189 bool in_kernel;
Marc Zyngier01ac5e32013-01-21 19:36:16 -0500190 bool ready;
Marc Zyngier50926d82016-05-28 11:27:11 +0100191 bool initialized;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500192
Andre Przywara598921362014-06-03 09:33:10 +0200193 /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
194 u32 vgic_model;
195
Andre Przywara0e4e82f2016-07-15 12:43:38 +0100196 /* Do injected MSIs require an additional device ID? */
197 bool msis_require_devid;
198
Marc Zyngier50926d82016-05-28 11:27:11 +0100199 int nr_spis;
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100200
Marc Zyngier50926d82016-05-28 11:27:11 +0100201 /* TODO: Consider moving to global state */
Marc Zyngierb47ef922013-01-21 19:36:14 -0500202 /* Virtual control interface mapping */
203 void __iomem *vctrl_base;
204
Marc Zyngier50926d82016-05-28 11:27:11 +0100205 /* base addresses in guest physical address space: */
206 gpa_t vgic_dist_base; /* distributor */
Andre Przywaraa0675c22014-06-07 00:54:51 +0200207 union {
Marc Zyngier50926d82016-05-28 11:27:11 +0100208 /* either a GICv2 CPU interface */
209 gpa_t vgic_cpu_base;
210 /* or a number of GICv3 redistributor regions */
Christoffer Dall552c9f42017-05-17 13:12:51 +0200211 struct {
212 gpa_t vgic_redist_base;
213 gpa_t vgic_redist_free_offset;
214 };
Andre Przywaraa0675c22014-06-07 00:54:51 +0200215 };
Marc Zyngierb47ef922013-01-21 19:36:14 -0500216
Marc Zyngier50926d82016-05-28 11:27:11 +0100217 /* distributor enabled */
218 bool enabled;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500219
Marc Zyngier50926d82016-05-28 11:27:11 +0100220 struct vgic_irq *spis;
Marc Zyngierb47ef922013-01-21 19:36:14 -0500221
Andre Przywaraa9cf86f2015-03-26 14:39:35 +0000222 struct vgic_io_device dist_iodev;
Andre Przywara0aa1de52016-07-15 12:43:29 +0100223
Andre Przywara1085fdc2016-07-15 12:43:31 +0100224 bool has_its;
225
Andre Przywara0aa1de52016-07-15 12:43:29 +0100226 /*
227 * Contains the attributes and gpa of the LPI configuration table.
228 * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
229 * one address across all redistributors.
230 * GICv3 spec: 6.1.2 "LPI Configuration tables"
231 */
232 u64 propbaser;
Andre Przywara38024112016-07-15 12:43:33 +0100233
234 /* Protects the lpi_list and the count value below. */
235 spinlock_t lpi_list_lock;
236 struct list_head lpi_list_head;
237 int lpi_list_count;
Christoffer Dall10f92c42017-01-17 23:09:13 +0100238
239 /* used by vgic-debug */
240 struct vgic_state_iter *iter;
Marc Zyngier74fe55d2017-10-27 15:28:38 +0100241
242 /*
243 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
244 * array, the property table pointer as well as allocation
245 * data. This essentially ties the Linux IRQ core and ITS
246 * together, and avoids leaking KVM's data structures anywhere
247 * else.
248 */
249 struct its_vm its_vm;
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500250};
251
Marc Zyngiereede8212013-05-30 10:20:36 +0100252struct vgic_v2_cpu_if {
253 u32 vgic_hcr;
254 u32 vgic_vmcr;
Christoffer Dall2df36a52014-09-28 16:04:26 +0200255 u64 vgic_elrsr; /* Saved only */
Marc Zyngiereede8212013-05-30 10:20:36 +0100256 u32 vgic_apr;
Marc Zyngier8f186d52014-02-04 18:13:03 +0000257 u32 vgic_lr[VGIC_V2_MAX_LRS];
Marc Zyngiereede8212013-05-30 10:20:36 +0100258};
259
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100260struct vgic_v3_cpu_if {
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100261 u32 vgic_hcr;
262 u32 vgic_vmcr;
Andre Przywara2f5fa412014-06-03 08:58:15 +0200263 u32 vgic_sre; /* Restored only, change ignored */
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100264 u32 vgic_elrsr; /* Saved only */
265 u32 vgic_ap0r[4];
266 u32 vgic_ap1r[4];
267 u64 vgic_lr[VGIC_V3_MAX_LRS];
Marc Zyngier74fe55d2017-10-27 15:28:38 +0100268
269 /*
270 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
271 * pending table pointer, the its_vm pointer and a few other
272 * HW specific things. As for the its_vm structure, this is
273 * linking the Linux IRQ subsystem and the ITS together.
274 */
275 struct its_vpe its_vpe;
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100276};
277
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500278struct vgic_cpu {
Marc Zyngier9d949dc2013-01-21 19:36:14 -0500279 /* CPU vif control registers for world switch */
Marc Zyngiereede8212013-05-30 10:20:36 +0100280 union {
281 struct vgic_v2_cpu_if vgic_v2;
Marc Zyngierb2fb1c02013-07-12 15:15:23 +0100282 struct vgic_v3_cpu_if vgic_v3;
Marc Zyngiereede8212013-05-30 10:20:36 +0100283 };
Marc Zyngier6c3d63c2014-06-23 17:37:18 +0100284
Marc Zyngier50926d82016-05-28 11:27:11 +0100285 unsigned int used_lrs;
286 struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS];
Marc Zyngier59f00ff2016-02-02 19:35:34 +0000287
Marc Zyngier50926d82016-05-28 11:27:11 +0100288 spinlock_t ap_list_lock; /* Protects the ap_list */
289
290 /*
291 * List of IRQs that this VCPU should consider because they are either
292 * Active or Pending (hence the name; AP list), or because they recently
293 * were one of the two and need to be migrated off this list to another
294 * VCPU.
295 */
296 struct list_head ap_list_head;
297
Andre Przywara8f6cdc12016-07-15 12:43:22 +0100298 /*
299 * Members below are used with GICv3 emulation only and represent
300 * parts of the redistributor.
301 */
302 struct vgic_io_device rd_iodev;
303 struct vgic_io_device sgi_iodev;
Andre Przywara0aa1de52016-07-15 12:43:29 +0100304
305 /* Contains the attributes and gpa of the LPI pending tables. */
306 u64 pendbaser;
307
308 bool lpis_enabled;
Vijaya Kumar Kd017d7b2017-01-26 19:50:51 +0530309
310 /* Cache guest priority bits */
311 u32 num_pri_bits;
312
313 /* Cache guest interrupt ID bits */
314 u32 num_id_bits;
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500315};
316
Marc Zyngierfb5ee362016-09-06 09:28:45 +0100317extern struct static_key_false vgic_v2_cpuif_trap;
Marc Zyngier59da1cb2017-06-09 12:49:33 +0100318extern struct static_key_false vgic_v3_cpuif_trap;
Marc Zyngierfb5ee362016-09-06 09:28:45 +0100319
Christoffer Dallce01e4e2013-09-23 14:55:56 -0700320int kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write);
Marc Zyngier6c3d63c2014-06-23 17:37:18 +0100321void kvm_vgic_early_init(struct kvm *kvm);
Christoffer Dall1aab6f42017-05-08 12:30:24 +0200322int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
Andre Przywara598921362014-06-03 09:33:10 +0200323int kvm_vgic_create(struct kvm *kvm, u32 type);
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100324void kvm_vgic_destroy(struct kvm *kvm);
Marc Zyngier6c3d63c2014-06-23 17:37:18 +0100325void kvm_vgic_vcpu_early_init(struct kvm_vcpu *vcpu);
Marc Zyngierc1bfb572014-07-08 12:09:01 +0100326void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
Marc Zyngier50926d82016-05-28 11:27:11 +0100327int kvm_vgic_map_resources(struct kvm *kvm);
328int kvm_vgic_hyp_init(void);
Christoffer Dall5b0d2cc2017-03-18 13:56:56 +0100329void kvm_vgic_init_cpu_hardware(void);
Marc Zyngier50926d82016-05-28 11:27:11 +0100330
331int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
Christoffer Dallcb3f0ad2017-05-16 12:41:18 +0200332 bool level, void *owner);
Eric Auger47bbd312017-10-27 15:28:32 +0100333int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq,
334 u32 vintid);
335int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
336bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
Marc Zyngier1a89dd92013-01-21 19:36:12 -0500337
Marc Zyngier50926d82016-05-28 11:27:11 +0100338int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
339
Christoffer Dall328e5662016-03-24 11:21:04 +0100340void kvm_vgic_load(struct kvm_vcpu *vcpu);
341void kvm_vgic_put(struct kvm_vcpu *vcpu);
342
Marc Zyngierf982cf42014-05-15 10:03:25 +0100343#define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
Marc Zyngier50926d82016-05-28 11:27:11 +0100344#define vgic_initialized(k) ((k)->arch.vgic.initialized)
Christoffer Dallc52edf52014-12-09 14:28:09 +0100345#define vgic_ready(k) ((k)->arch.vgic.ready)
Andre Przywara2defaff2016-03-07 17:32:29 +0700346#define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \
Marc Zyngier50926d82016-05-28 11:27:11 +0100347 ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
Marc Zyngier9d949dc2013-01-21 19:36:14 -0500348
Marc Zyngier50926d82016-05-28 11:27:11 +0100349bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
350void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
351void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
352
Marc Zyngier50926d82016-05-28 11:27:11 +0100353void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg);
Marc Zyngier8f186d52014-02-04 18:13:03 +0000354
Marc Zyngier50926d82016-05-28 11:27:11 +0100355/**
356 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
357 *
358 * The host's GIC naturally limits the maximum amount of VCPUs a guest
359 * can use.
360 */
361static inline int kvm_vgic_get_max_vcpus(void)
362{
363 return kvm_vgic_global_state.max_gic_vcpus;
364}
365
Andre Przywara0e4e82f2016-07-15 12:43:38 +0100366int kvm_send_userspace_msi(struct kvm *kvm, struct kvm_msi *msi);
367
Eric Auger180ae7b2016-07-22 16:20:41 +0000368/**
369 * kvm_vgic_setup_default_irq_routing:
370 * Setup a default flat gsi routing table mapping all SPIs
371 */
372int kvm_vgic_setup_default_irq_routing(struct kvm *kvm);
373
Christoffer Dallc6ccd302017-05-04 13:24:20 +0200374int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);
375
Marc Zyngier196b1362017-10-27 15:28:39 +0100376struct kvm_kernel_irq_routing_entry;
377
378int kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq,
379 struct kvm_kernel_irq_routing_entry *irq_entry);
380
381int kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq,
382 struct kvm_kernel_irq_routing_entry *irq_entry);
383
Marc Zyngierdf9ba952017-10-27 15:28:49 +0100384void kvm_vgic_v4_enable_doorbell(struct kvm_vcpu *vcpu);
385void kvm_vgic_v4_disable_doorbell(struct kvm_vcpu *vcpu);
386
Marc Zyngier50926d82016-05-28 11:27:11 +0100387#endif /* __KVM_ARM_VGIC_H */