XHCI_SCTX_GET_SPEED
switch (XHCI_SCTX_GET_SPEED(info)) {
mdb_printf(" (%d)\n", XHCI_SCTX_GET_SPEED(info));