static void ehci_trace_qh(EHCIQueue *q, target_phys_addr_t addr, EHCIqh *qh)

{

    trace_usb_ehci_qh(q, addr, qh->next,

                      qh->current_qtd, qh->next_qtd, qh->altnext_qtd,

                      get_field(qh->epchar, QH_EPCHAR_RL),

                      get_field(qh->epchar, QH_EPCHAR_MPLEN),

                      get_field(qh->epchar, QH_EPCHAR_EPS),

                      get_field(qh->epchar, QH_EPCHAR_EP),

                      get_field(qh->epchar, QH_EPCHAR_DEVADDR),

                      (bool)(qh->epchar & QH_EPCHAR_C),

                      (bool)(qh->epchar & QH_EPCHAR_H),

                      (bool)(qh->epchar & QH_EPCHAR_DTC),

                      (bool)(qh->epchar & QH_EPCHAR_I));

}

static void ehci_trace_qh(EHCIQueue *q, target_phys_addr_t addr, EHCIqh *qh)

{

    trace_usb_ehci_qh(q, addr, qh->next,

                      qh->current_qtd, qh->next_qtd, qh->altnext_qtd,

                      get_field(qh->epchar, QH_EPCHAR_RL),

                      get_field(qh->epchar, QH_EPCHAR_MPLEN),

                      get_field(qh->epchar, QH_EPCHAR_EPS),

                      get_field(qh->epchar, QH_EPCHAR_EP),

                      get_field(qh->epchar, QH_EPCHAR_DEVADDR),

                      (bool)(qh->epchar & QH_EPCHAR_C),

                      (bool)(qh->epchar & QH_EPCHAR_H),

                      (bool)(qh->epchar & QH_EPCHAR_DTC),

                      (bool)(qh->epchar & QH_EPCHAR_I));

}

    trace_usb_ehci_qh(q, addr, qh->next,                       qh->current_qtd, qh->next_qtd, qh->altnext_qtd,                       get_field(qh->epchar, QH_EPCHAR_RL),                       get_field(qh->epchar, QH_EPCHAR_MPLEN),                       get_field(qh->epchar, QH_EPCHAR_EPS),                       get_field(qh->epchar, QH_EPCHAR_EP),                       get_field(qh->epchar, QH_EPCHAR_DEVADDR),                       (bool)(qh->epchar & QH_EPCHAR_C),                       (bool)(qh->epchar & QH_EPCHAR_H),                       (bool)(qh->epchar & QH_EPCHAR_DTC),                       (bool)(qh->epchar & QH_EPCHAR_I));
static void FUNC_0(EHCIQueue *VAR_0, target_phys_addr_t VAR_1, EHCIqh *VAR_2)

{

    trace_usb_ehci_qh(VAR_0, VAR_1, VAR_2->next,

                      VAR_2->current_qtd, VAR_2->next_qtd, VAR_2->altnext_qtd,

                      get_field(VAR_2->epchar, QH_EPCHAR_RL),

                      get_field(VAR_2->epchar, QH_EPCHAR_MPLEN),

                      get_field(VAR_2->epchar, QH_EPCHAR_EPS),

                      get_field(VAR_2->epchar, QH_EPCHAR_EP),

                      get_field(VAR_2->epchar, QH_EPCHAR_DEVADDR),

                      (bool)(VAR_2->epchar & QH_EPCHAR_C),

                      (bool)(VAR_2->epchar & QH_EPCHAR_H),

                      (bool)(VAR_2->epchar & QH_EPCHAR_DTC),

                      (bool)(VAR_2->epchar & QH_EPCHAR_I));

}

static void FUNC_0(EHCIQueue *VAR_0, target_phys_addr_t VAR_1, EHCIqh *VAR_2)
{ trace_usb_ehci_qh(VAR_0, VAR_1, VAR_2->next,
VAR_2->current_qtd, VAR_2->next_qtd, VAR_2->altnext_qtd,
get_field(VAR_2->epchar, QH_EPCHAR_RL),
get_field(VAR_2->epchar, QH_EPCHAR_MPLEN),
get_field(VAR_2->epchar, QH_EPCHAR_EPS),
get_field(VAR_2->epchar, QH_EPCHAR_EP),
get_field(VAR_2->epchar, QH_EPCHAR_DEVADDR),
(bool)(VAR_2->epchar & QH_EPCHAR_C),
(bool)(VAR_2->epchar & QH_EPCHAR_H),
(bool)(VAR_2->epchar & QH_EPCHAR_DTC),
(bool)(VAR_2->epchar & QH_EPCHAR_I)); }