XHCI_TRB_TYPE
printf("cmd = %d ", XHCI_TRB_TYPE(letoh32(trb->trb_flags)));
XHCI_TRB_TYPE(letoh32(trb0->trb_flags)));
printf("event (%d): ", XHCI_TRB_TYPE(flags));