152 	u32 vmcr = vcpu->arch.vgic_cpu.vgic_v3.vgic_vmcr;  in vgic_v3_get_vmcr()  local
154 	vmcrp->ctlr = (vmcr & ICH_VMCR_CTLR_MASK) >> ICH_VMCR_CTLR_SHIFT;  in vgic_v3_get_vmcr()
155 	vmcrp->abpr = (vmcr & ICH_VMCR_BPR1_MASK) >> ICH_VMCR_BPR1_SHIFT;  in vgic_v3_get_vmcr()
156 	vmcrp->bpr  = (vmcr & ICH_VMCR_BPR0_MASK) >> ICH_VMCR_BPR0_SHIFT;  in vgic_v3_get_vmcr()
157 	vmcrp->pmr  = (vmcr & ICH_VMCR_PMR_MASK) >> ICH_VMCR_PMR_SHIFT;  in vgic_v3_get_vmcr()
172 	u32 vmcr;  in vgic_v3_set_vmcr()  local
174 	vmcr  = (vmcrp->ctlr << ICH_VMCR_CTLR_SHIFT) & ICH_VMCR_CTLR_MASK;  in vgic_v3_set_vmcr()
175 	vmcr |= (vmcrp->abpr << ICH_VMCR_BPR1_SHIFT) & ICH_VMCR_BPR1_MASK;  in vgic_v3_set_vmcr()
176 	vmcr |= (vmcrp->bpr << ICH_VMCR_BPR0_SHIFT) & ICH_VMCR_BPR0_MASK;  in vgic_v3_set_vmcr()
177 	vmcr |= (vmcrp->pmr << ICH_VMCR_PMR_SHIFT) & ICH_VMCR_PMR_MASK;  in vgic_v3_set_vmcr()
179 	vcpu->arch.vgic_cpu.vgic_v3.vgic_vmcr = vmcr;  in vgic_v3_set_vmcr()