GICH_VMCR_CBPR_SHIFT
vmcr |= (vmcrp->cbpr << GICH_VMCR_CBPR_SHIFT) &
GICH_VMCR_CBPR_SHIFT;
#define GICH_VMCR_CBPR_MASK (1 << GICH_VMCR_CBPR_SHIFT)