LOONGARCH_CSR_BADI
#define read_gcsr_badi() gcsr_read(LOONGARCH_CSR_BADI)
#define write_gcsr_badi(val) gcsr_write(val, LOONGARCH_CSR_BADI)
kvm_write_hw_gcsr(LOONGARCH_CSR_BADI, vcpu->arch.badi);
set_gcsr_hw_flag(LOONGARCH_CSR_BADI);
kvm_restore_hw_gcsr(csr, LOONGARCH_CSR_BADI);
kvm_save_hw_gcsr(csr, LOONGARCH_CSR_BADI);