arm_vgic.h (3802411d01880c4283426d22653e011159b1c947) arm_vgic.h (0e4e82f154e387969ea7ecd2c8876689fb68f710)
1/*
2 * Copyright (C) 2015, 2016 ARM Ltd.
3 *
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,

--- 149 unchanged lines hidden (view full) ---

158struct vgic_dist {
159 bool in_kernel;
160 bool ready;
161 bool initialized;
162
163 /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
164 u32 vgic_model;
165
1/*
2 * Copyright (C) 2015, 2016 ARM Ltd.
3 *
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,

--- 149 unchanged lines hidden (view full) ---

158struct vgic_dist {
159 bool in_kernel;
160 bool ready;
161 bool initialized;
162
163 /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
164 u32 vgic_model;
165
166 /* Do injected MSIs require an additional device ID? */
167 bool msis_require_devid;
168
166 int nr_spis;
167
168 /* TODO: Consider moving to global state */
169 /* Virtual control interface mapping */
170 void __iomem *vctrl_base;
171
172 /* base addresses in guest physical address space: */
173 gpa_t vgic_dist_base; /* distributor */

--- 129 unchanged lines hidden (view full) ---

303 * The host's GIC naturally limits the maximum amount of VCPUs a guest
304 * can use.
305 */
306static inline int kvm_vgic_get_max_vcpus(void)
307{
308 return kvm_vgic_global_state.max_gic_vcpus;
309}
310
169 int nr_spis;
170
171 /* TODO: Consider moving to global state */
172 /* Virtual control interface mapping */
173 void __iomem *vctrl_base;
174
175 /* base addresses in guest physical address space: */
176 gpa_t vgic_dist_base; /* distributor */

--- 129 unchanged lines hidden (view full) ---

306 * The host's GIC naturally limits the maximum amount of VCPUs a guest
307 * can use.
308 */
309static inline int kvm_vgic_get_max_vcpus(void)
310{
311 return kvm_vgic_global_state.max_gic_vcpus;
312}
313
314int kvm_send_userspace_msi(struct kvm *kvm, struct kvm_msi *msi);
315
311#endif /* __KVM_ARM_VGIC_H */
316#endif /* __KVM_ARM_VGIC_H */