IOC_TCNFG
io_tlb_ps = readq(info->ioc_regs+IOC_TCNFG);
WRITE_REG(tcnfg, ioc->ioc_hpa + IOC_TCNFG);
WRITE_REG(tcnfg, ioc->ioc_hpa+IOC_TCNFG);
DBG_INIT("IOC_TCNFG : 0x%Lx\n", READ_REG64(hpa+IOC_TCNFG));