Searched refs:get_vmcr (Results 1 – 4 of 4) sorted by relevance
121 void (*get_vmcr)(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr); member
172 .get_vmcr = vgic_v2_get_vmcr,
217 .get_vmcr = vgic_v3_get_vmcr,
1067 vgic_ops->get_vmcr(vcpu, vmcr); in vgic_get_vmcr()