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