Searched refs:vgic_v3_vmcr_sync (Results 1 – 3 of 3) sorted by relevance
740 void vgic_v3_vmcr_sync(struct kvm_vcpu *vcpu) in vgic_v3_vmcr_sync() function754 vgic_v3_vmcr_sync(vcpu); in vgic_v3_put()
272 void vgic_v3_vmcr_sync(struct kvm_vcpu *vcpu);
970 vgic_v3_vmcr_sync(vcpu); in kvm_vgic_vmcr_sync()