Lines Matching refs:vgic_get_vmcr
20 vgic_get_vmcr(vcpu, &vmcr); in set_gic_ctlr()
66 vgic_get_vmcr(vcpu, &vmcr); in get_gic_ctlr()
92 vgic_get_vmcr(vcpu, &vmcr); in set_gic_pmr()
104 vgic_get_vmcr(vcpu, &vmcr); in get_gic_pmr()
115 vgic_get_vmcr(vcpu, &vmcr); in set_gic_bpr0()
127 vgic_get_vmcr(vcpu, &vmcr); in get_gic_bpr0()
138 vgic_get_vmcr(vcpu, &vmcr); in set_gic_bpr1()
152 vgic_get_vmcr(vcpu, &vmcr); in get_gic_bpr1()
167 vgic_get_vmcr(vcpu, &vmcr); in set_gic_grpen0()
179 vgic_get_vmcr(vcpu, &vmcr); in get_gic_grpen0()
190 vgic_get_vmcr(vcpu, &vmcr); in set_gic_grpen1()
202 vgic_get_vmcr(vcpu, &vmcr); in get_gic_grpen1()