Symbol: TDC_MBH
usr/src/uts/common/io/hxge/hpi_txdma.c
290
TXDMA_REG_READ64(handle, TDC_MBH, channel, &mh.value);
usr/src/uts/common/io/hxge/hpi_txdma.c
302
TXDMA_REG_WRITE64(handle, TDC_MBH, channel, mh.value);