129 	u32 vmcr = vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr;  in vgic_v2_get_vmcr()  local
131 	vmcrp->ctlr = (vmcr & GICH_VMCR_CTRL_MASK) >> GICH_VMCR_CTRL_SHIFT;  in vgic_v2_get_vmcr()
132 	vmcrp->abpr = (vmcr & GICH_VMCR_ALIAS_BINPOINT_MASK) >> GICH_VMCR_ALIAS_BINPOINT_SHIFT;  in vgic_v2_get_vmcr()
133 	vmcrp->bpr  = (vmcr & GICH_VMCR_BINPOINT_MASK) >> GICH_VMCR_BINPOINT_SHIFT;  in vgic_v2_get_vmcr()
134 	vmcrp->pmr  = (vmcr & GICH_VMCR_PRIMASK_MASK) >> GICH_VMCR_PRIMASK_SHIFT;  in vgic_v2_get_vmcr()
139 	u32 vmcr;  in vgic_v2_set_vmcr()  local
141 	vmcr  = (vmcrp->ctlr << GICH_VMCR_CTRL_SHIFT) & GICH_VMCR_CTRL_MASK;  in vgic_v2_set_vmcr()
142 	vmcr |= (vmcrp->abpr << GICH_VMCR_ALIAS_BINPOINT_SHIFT) & GICH_VMCR_ALIAS_BINPOINT_MASK;  in vgic_v2_set_vmcr()
143 	vmcr |= (vmcrp->bpr << GICH_VMCR_BINPOINT_SHIFT) & GICH_VMCR_BINPOINT_MASK;  in vgic_v2_set_vmcr()
144 	vmcr |= (vmcrp->pmr << GICH_VMCR_PRIMASK_SHIFT) & GICH_VMCR_PRIMASK_MASK;  in vgic_v2_set_vmcr()
146 	vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = vmcr;  in vgic_v2_set_vmcr()