Symbol: XHCI_SCTX_GET_DCI
usr/src/cmd/mdb/intel/modules/xhci/xhci.c
324
mdb_printf("DCI: %d\n", XHCI_SCTX_GET_DCI(info));
usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c
260
if (epid + 1 > XHCI_SCTX_GET_DCI(LE_32(xd->xd_slotin->xsc_info))) {