Symbol: GICH_VMCR_PRIMASK_MASK