Searched refs:set_vmcr (Results 1 – 4 of 4) sorted by relevance
123 void (*set_vmcr)(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr); member
163 .set_vmcr = vgic_v2_set_vmcr,
207 .set_vmcr = vgic_v3_set_vmcr,
1059 vgic_ops->set_vmcr(vcpu, vmcr); in vgic_set_vmcr()