static void ehci_trace_qtd(EHCIQueue *q, target_phys_addr_t addr, EHCIqtd *qtd)

{

    trace_usb_ehci_qtd(q, addr, qtd->next, qtd->altnext,

                       get_field(qtd->token, QTD_TOKEN_TBYTES),

                       get_field(qtd->token, QTD_TOKEN_CPAGE),

                       get_field(qtd->token, QTD_TOKEN_CERR),

                       get_field(qtd->token, QTD_TOKEN_PID),

                       (bool)(qtd->token & QTD_TOKEN_IOC),

                       (bool)(qtd->token & QTD_TOKEN_ACTIVE),

                       (bool)(qtd->token & QTD_TOKEN_HALT),

                       (bool)(qtd->token & QTD_TOKEN_BABBLE),

                       (bool)(qtd->token & QTD_TOKEN_XACTERR));

}

static void ehci_trace_qtd(EHCIQueue *q, target_phys_addr_t addr, EHCIqtd *qtd)

{

    trace_usb_ehci_qtd(q, addr, qtd->next, qtd->altnext,

                       get_field(qtd->token, QTD_TOKEN_TBYTES),

                       get_field(qtd->token, QTD_TOKEN_CPAGE),

                       get_field(qtd->token, QTD_TOKEN_CERR),

                       get_field(qtd->token, QTD_TOKEN_PID),

                       (bool)(qtd->token & QTD_TOKEN_IOC),

                       (bool)(qtd->token & QTD_TOKEN_ACTIVE),

                       (bool)(qtd->token & QTD_TOKEN_HALT),

                       (bool)(qtd->token & QTD_TOKEN_BABBLE),

                       (bool)(qtd->token & QTD_TOKEN_XACTERR));

}

    trace_usb_ehci_qtd(q, addr, qtd->next, qtd->altnext,                        get_field(qtd->token, QTD_TOKEN_TBYTES),                        get_field(qtd->token, QTD_TOKEN_CPAGE),                        get_field(qtd->token, QTD_TOKEN_CERR),                        get_field(qtd->token, QTD_TOKEN_PID),                        (bool)(qtd->token & QTD_TOKEN_IOC),                        (bool)(qtd->token & QTD_TOKEN_ACTIVE),                        (bool)(qtd->token & QTD_TOKEN_HALT),                        (bool)(qtd->token & QTD_TOKEN_BABBLE),                        (bool)(qtd->token & QTD_TOKEN_XACTERR));
static void FUNC_0(EHCIQueue *VAR_0, target_phys_addr_t VAR_1, EHCIqtd *VAR_2)

{

    trace_usb_ehci_qtd(VAR_0, VAR_1, VAR_2->next, VAR_2->altnext,

                       get_field(VAR_2->token, QTD_TOKEN_TBYTES),

                       get_field(VAR_2->token, QTD_TOKEN_CPAGE),

                       get_field(VAR_2->token, QTD_TOKEN_CERR),

                       get_field(VAR_2->token, QTD_TOKEN_PID),

                       (bool)(VAR_2->token & QTD_TOKEN_IOC),

                       (bool)(VAR_2->token & QTD_TOKEN_ACTIVE),

                       (bool)(VAR_2->token & QTD_TOKEN_HALT),

                       (bool)(VAR_2->token & QTD_TOKEN_BABBLE),

                       (bool)(VAR_2->token & QTD_TOKEN_XACTERR));

}

static void FUNC_0(EHCIQueue *VAR_0, target_phys_addr_t VAR_1, EHCIqtd *VAR_2)
{ trace_usb_ehci_qtd(VAR_0, VAR_1, VAR_2->next, VAR_2->altnext,
get_field(VAR_2->token, QTD_TOKEN_TBYTES),
get_field(VAR_2->token, QTD_TOKEN_CPAGE),
get_field(VAR_2->token, QTD_TOKEN_CERR),
get_field(VAR_2->token, QTD_TOKEN_PID),
(bool)(VAR_2->token & QTD_TOKEN_IOC),
(bool)(VAR_2->token & QTD_TOKEN_ACTIVE),
(bool)(VAR_2->token & QTD_TOKEN_HALT),
(bool)(VAR_2->token & QTD_TOKEN_BABBLE),
(bool)(VAR_2->token & QTD_TOKEN_XACTERR)); }