CSR_CFG_ASID
GEN_WRITE_WB_REG_CASES(CSR_CFG_ASID, ASID, t, val);
write_wb_reg(CSR_CFG_ASID, i, 0, 0);
write_wb_reg(CSR_CFG_ASID, i, 1, 0);
write_wb_reg(CSR_CFG_ASID, i, 0, 0);
write_wb_reg(CSR_CFG_ASID, i, 1, 0);
GEN_READ_WB_REG_CASES(CSR_CFG_ASID, ASID, t, val);