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