LOONGARCH_CSR_TLBIDX
#define read_gcsr_tlbidx() gcsr_read(LOONGARCH_CSR_TLBIDX)
#define write_gcsr_tlbidx(val) gcsr_write(val, LOONGARCH_CSR_TLBIDX)
csr_xchg32(idx, CSR_TLBIDX_IDXM, LOONGARCH_CSR_TLBIDX);
return (csr_read32(LOONGARCH_CSR_TLBIDX) & CSR_TLBIDX_SIZEM) >> CSR_TLBIDX_SIZE;
csr_xchg32(size << CSR_TLBIDX_SIZE, CSR_TLBIDX_SIZEM, LOONGARCH_CSR_TLBIDX);
#define read_csr_tlbidx() csr_read32(LOONGARCH_CSR_TLBIDX)
#define write_csr_tlbidx(val) csr_write32(val, LOONGARCH_CSR_TLBIDX)
set_gcsr_hw_flag(LOONGARCH_CSR_TLBIDX);
kvm_restore_hw_gcsr(csr, LOONGARCH_CSR_TLBIDX);
kvm_save_hw_gcsr(csr, LOONGARCH_CSR_TLBIDX);
loongarch_get_csr(vcpu, LOONGARCH_CSR_TLBIDX, &val);
loongarch_set_csr(vcpu, LOONGARCH_CSR_TLBIDX, val);