ZCR_LEN_MASK
WRITE_SPECIALREG(ZCR_EL1_REG, ZCR_LEN_MASK);
sve_max_vector_len = ZCR_LEN_BYTES(ZCR_LEN_MASK);
#define ZCR_LEN_BYTES(x) ((((x) & ZCR_LEN_MASK) + 1) * 16)