LOONGARCH_CSR_TCFG
#define read_gcsr_timercfg() gcsr_read(LOONGARCH_CSR_TCFG)
#define write_gcsr_timercfg(val) gcsr_write(val, LOONGARCH_CSR_TCFG)
csr_write(timer_config, LOONGARCH_CSR_TCFG);
timer_config = csr_read(LOONGARCH_CSR_TCFG);
csr_write(timer_config, LOONGARCH_CSR_TCFG);
csr_write(timer_config, LOONGARCH_CSR_TCFG);
timer_config = csr_read(LOONGARCH_CSR_TCFG);
csr_write(timer_config, LOONGARCH_CSR_TCFG);
set_gcsr_hw_flag(LOONGARCH_CSR_TCFG);
cfg = kvm_read_sw_gcsr(csr, LOONGARCH_CSR_TCFG);
kvm_save_hw_gcsr(csr, LOONGARCH_CSR_TCFG);
if (kvm_read_sw_gcsr(csr, LOONGARCH_CSR_TCFG) & CSR_TCFG_EN)
cfg = kvm_read_sw_gcsr(csr, LOONGARCH_CSR_TCFG);
kvm_restore_hw_gcsr(csr, LOONGARCH_CSR_TCFG);
return csr_read(LOONGARCH_CSR_TCFG);
csr_write(0, LOONGARCH_CSR_TCFG);
csr_write(val, LOONGARCH_CSR_TCFG);
loongarch_set_csr(vcpu, LOONGARCH_CSR_TCFG, 0);