arch/arm64/kvm/vgic-sys-reg-v3.c

117

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic-sys-reg-v3.c

141

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic-sys-reg-v3.c

169

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic-sys-reg-v3.c

192

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic-sys-reg-v3.c

54

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic-sys-reg-v3.c

94

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic/vgic-mmio-v2.c

359

vgic_set_vmcr(vcpu, &vmcr);

arch/arm64/kvm/vgic/vgic.h

357

void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);