Lines Matching refs:vgic_get_vmcr
20 vgic_get_vmcr(vcpu, &vmcr);
66 vgic_get_vmcr(vcpu, &vmcr);
92 vgic_get_vmcr(vcpu, &vmcr);
104 vgic_get_vmcr(vcpu, &vmcr);
115 vgic_get_vmcr(vcpu, &vmcr);
127 vgic_get_vmcr(vcpu, &vmcr);
138 vgic_get_vmcr(vcpu, &vmcr);
152 vgic_get_vmcr(vcpu, &vmcr);
167 vgic_get_vmcr(vcpu, &vmcr);
179 vgic_get_vmcr(vcpu, &vmcr);
190 vgic_get_vmcr(vcpu, &vmcr);
202 vgic_get_vmcr(vcpu, &vmcr);