XHCI_SCTX_GET_SLOT_STATE
switch (XHCI_SCTX_GET_SLOT_STATE(state)) {
mdb_printf(" (%d)\n", XHCI_SCTX_GET_SLOT_STATE(state));