LOONGARCH_CSR_TVAL
#define read_gcsr_timertick() gcsr_read(LOONGARCH_CSR_TVAL)
#define write_gcsr_timertick(val) gcsr_write(val, LOONGARCH_CSR_TVAL)
set_gcsr_hw_flag(LOONGARCH_CSR_TVAL);
ticks = kvm_read_sw_gcsr(csr, LOONGARCH_CSR_TVAL);
kvm_save_hw_gcsr(csr, LOONGARCH_CSR_TVAL);
kvm_write_sw_gcsr(vcpu->arch.csr, LOONGARCH_CSR_TVAL, 0);
kvm_restore_hw_gcsr(csr, LOONGARCH_CSR_TVAL);
ticks = kvm_read_sw_gcsr(csr, LOONGARCH_CSR_TVAL);
return csr_read(LOONGARCH_CSR_TVAL);