Symbol: GICH_VMCR_BINPOINT_SHIFT