Home
last modified time | relevance | path

Searched refs:vgic_get_vmcr (Results 1 – 4 of 4) sorted by relevance

/Linux-v4.19/arch/arm64/kvm/
Dvgic-sys-reg-v3.c29 vgic_get_vmcr(vcpu, &vmcr); in access_gic_ctlr()
100 vgic_get_vmcr(vcpu, &vmcr); in access_gic_pmr()
116 vgic_get_vmcr(vcpu, &vmcr); in access_gic_bpr0()
137 vgic_get_vmcr(vcpu, &vmcr); in access_gic_bpr1()
160 vgic_get_vmcr(vcpu, &vmcr); in access_gic_grpen0()
178 vgic_get_vmcr(vcpu, &vmcr); in access_gic_grpen1()
/Linux-v4.19/virt/kvm/arm/vgic/
Dvgic-mmio-v2.c278 vgic_get_vmcr(vcpu, &vmcr); in vgic_mmio_read_vcpuif()
325 vgic_get_vmcr(vcpu, &vmcr); in vgic_mmio_write_vcpuif()
Dvgic.h255 void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
Dvgic-mmio.c638 void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr) in vgic_get_vmcr() function