Symbol: GICH_VMCR_PRIMASK_SHIFT