|
@@ -84,11 +84,15 @@ void vgic_v3_enable(struct kvm_vcpu *vcpu);
|
|
|
int vgic_v3_probe(const struct gic_kvm_info *info);
|
|
|
int vgic_v3_map_resources(struct kvm *kvm);
|
|
|
int vgic_register_redist_iodevs(struct kvm *kvm, gpa_t dist_base_address);
|
|
|
+
|
|
|
+#ifdef CONFIG_KVM_ARM_VGIC_V3_ITS
|
|
|
int vgic_register_its_iodevs(struct kvm *kvm);
|
|
|
bool vgic_has_its(struct kvm *kvm);
|
|
|
int kvm_vgic_register_its_device(void);
|
|
|
void vgic_enable_lpis(struct kvm_vcpu *vcpu);
|
|
|
int vgic_its_inject_msi(struct kvm *kvm, struct kvm_msi *msi);
|
|
|
+#endif
|
|
|
+
|
|
|
#else
|
|
|
static inline void vgic_v3_process_maintenance(struct kvm_vcpu *vcpu)
|
|
|
{
|