220 void vgic_v2_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_set_vmcr()  argument
225 	vmcr = (vmcrp->grpen0 << GICH_VMCR_ENABLE_GRP0_SHIFT) &  in vgic_v2_set_vmcr()
227 	vmcr |= (vmcrp->grpen1 << GICH_VMCR_ENABLE_GRP1_SHIFT) &  in vgic_v2_set_vmcr()
229 	vmcr |= (vmcrp->ackctl << GICH_VMCR_ACK_CTL_SHIFT) &  in vgic_v2_set_vmcr()
231 	vmcr |= (vmcrp->fiqen << GICH_VMCR_FIQ_EN_SHIFT) &  in vgic_v2_set_vmcr()
233 	vmcr |= (vmcrp->cbpr << GICH_VMCR_CBPR_SHIFT) &  in vgic_v2_set_vmcr()
235 	vmcr |= (vmcrp->eoim << GICH_VMCR_EOI_MODE_SHIFT) &  in vgic_v2_set_vmcr()
237 	vmcr |= (vmcrp->abpr << GICH_VMCR_ALIAS_BINPOINT_SHIFT) &  in vgic_v2_set_vmcr()
239 	vmcr |= (vmcrp->bpr << GICH_VMCR_BINPOINT_SHIFT) &  in vgic_v2_set_vmcr()
241 	vmcr |= ((vmcrp->pmr >> GICV_PMR_PRIORITY_SHIFT) <<  in vgic_v2_set_vmcr()
247 void vgic_v2_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_get_vmcr()  argument
254 	vmcrp->grpen0 = (vmcr & GICH_VMCR_ENABLE_GRP0_MASK) >>  in vgic_v2_get_vmcr()
256 	vmcrp->grpen1 = (vmcr & GICH_VMCR_ENABLE_GRP1_MASK) >>  in vgic_v2_get_vmcr()
258 	vmcrp->ackctl = (vmcr & GICH_VMCR_ACK_CTL_MASK) >>  in vgic_v2_get_vmcr()
260 	vmcrp->fiqen = (vmcr & GICH_VMCR_FIQ_EN_MASK) >>  in vgic_v2_get_vmcr()
262 	vmcrp->cbpr = (vmcr & GICH_VMCR_CBPR_MASK) >>  in vgic_v2_get_vmcr()
264 	vmcrp->eoim = (vmcr & GICH_VMCR_EOI_MODE_MASK) >>  in vgic_v2_get_vmcr()
267 	vmcrp->abpr = (vmcr & GICH_VMCR_ALIAS_BINPOINT_MASK) >>  in vgic_v2_get_vmcr()
269 	vmcrp->bpr  = (vmcr & GICH_VMCR_BINPOINT_MASK) >>  in vgic_v2_get_vmcr()
271 	vmcrp->pmr  = ((vmcr & GICH_VMCR_PRIMASK_MASK) >>  in vgic_v2_get_vmcr()