dct_sel_baseaddr
pvt->dct_sel_lo, dct_sel_baseaddr(pvt));
dct_sel_base = dct_sel_baseaddr(pvt);
dct_base = (u64) dct_sel_baseaddr(pvt);