Searched refs:kvm_vgic_vmcr_sync (Results 1 – 3 of 3) sorted by relevance
389 void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu);
945 void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu) in kvm_vgic_vmcr_sync() function
671 kvm_vgic_vmcr_sync(vcpu); in kvm_vcpu_wfi()
Completed in 8 milliseconds