|
@@ -204,6 +204,7 @@ int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
|
|
|
void vgic_v2_init_lrs(void);
|
|
void vgic_v2_init_lrs(void);
|
|
|
void vgic_v2_load(struct kvm_vcpu *vcpu);
|
|
void vgic_v2_load(struct kvm_vcpu *vcpu);
|
|
|
void vgic_v2_put(struct kvm_vcpu *vcpu);
|
|
void vgic_v2_put(struct kvm_vcpu *vcpu);
|
|
|
|
|
+void vgic_v2_vmcr_sync(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
|
|
void vgic_v2_save_state(struct kvm_vcpu *vcpu);
|
|
void vgic_v2_save_state(struct kvm_vcpu *vcpu);
|
|
|
void vgic_v2_restore_state(struct kvm_vcpu *vcpu);
|
|
void vgic_v2_restore_state(struct kvm_vcpu *vcpu);
|
|
@@ -234,6 +235,7 @@ bool vgic_v3_check_base(struct kvm *kvm);
|
|
|
|
|
|
|
|
void vgic_v3_load(struct kvm_vcpu *vcpu);
|
|
void vgic_v3_load(struct kvm_vcpu *vcpu);
|
|
|
void vgic_v3_put(struct kvm_vcpu *vcpu);
|
|
void vgic_v3_put(struct kvm_vcpu *vcpu);
|
|
|
|
|
+void vgic_v3_vmcr_sync(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
|
|
bool vgic_has_its(struct kvm *kvm);
|
|
bool vgic_has_its(struct kvm *kvm);
|
|
|
int kvm_vgic_register_its_device(void);
|
|
int kvm_vgic_register_its_device(void);
|