CSR_ECFG_VS
pr_cont(" VS=%d)\n", (int) FIELD_GET(CSR_ECFG_VS, x));
csr_xchg32(vs<<CSR_ECFG_VS_SHIFT, CSR_ECFG_VS, LOONGARCH_CSR_ECFG);
vec_size = (val & CSR_ECFG_VS) >> CSR_ECFG_VS_SHIFT;
vcpu->arch.host_ecfg = (read_csr_ecfg() & CSR_ECFG_VS);