LOONGARCH_CSR_ECFG
#define read_gcsr_ecfg() gcsr_read(LOONGARCH_CSR_ECFG)
#define write_gcsr_ecfg(val) gcsr_write(val, LOONGARCH_CSR_ECFG)
#define read_csr_ecfg() csr_read32(LOONGARCH_CSR_ECFG)
#define write_csr_ecfg(val) csr_write32(val, LOONGARCH_CSR_ECFG)
csrrd t0, LOONGARCH_CSR_ECFG
__asm__ __volatile__(CSRRD_ONE_REG(LOONGARCH_CSR_ECFG) : "=r" (regs->csr_ecfg));
p->thread.csr_ecfg = csr_read32(LOONGARCH_CSR_ECFG);
csr_xchg32(vs<<CSR_ECFG_VS_SHIFT, CSR_ECFG_VS, LOONGARCH_CSR_ECFG);
val = kvm_read_hw_gcsr(LOONGARCH_CSR_ECFG);
set_gcsr_hw_flag(LOONGARCH_CSR_ECFG);
kvm_restore_hw_gcsr(csr, LOONGARCH_CSR_ECFG);
kvm_save_hw_gcsr(csr, LOONGARCH_CSR_ECFG);
saved_ecfg = csr_read32(LOONGARCH_CSR_ECFG);
csr_write32(saved_ecfg, LOONGARCH_CSR_ECFG);
saved_regs.ecfg = csr_read32(LOONGARCH_CSR_ECFG);
csr_write32(saved_regs.ecfg, LOONGARCH_CSR_ECFG);
val = csr_read(LOONGARCH_CSR_ECFG);
csr_write(val, LOONGARCH_CSR_ECFG);
val = csr_read(LOONGARCH_CSR_ECFG);
csr_write(val, LOONGARCH_CSR_ECFG);
loongarch_set_csr(vcpu, LOONGARCH_CSR_ECFG, 0);