static void ohci_bus_stop(OHCIState *ohci)

{

    trace_usb_ohci_stop(ohci->name);

    if (ohci->eof_timer) {

        timer_del(ohci->eof_timer);

        timer_free(ohci->eof_timer);

    }

    ohci->eof_timer = NULL;

}

static void ohci_bus_stop(OHCIState *ohci)

{

    trace_usb_ohci_stop(ohci->name);

    if (ohci->eof_timer) {

        timer_del(ohci->eof_timer);

        timer_free(ohci->eof_timer);

    }

    ohci->eof_timer = NULL;

}

    if (ohci->eof_timer) {         timer_del(ohci->eof_timer);         timer_free(ohci->eof_timer);     ohci->eof_timer = NULL;
static void FUNC_0(OHCIState *VAR_0)

{

    trace_usb_ohci_stop(VAR_0->name);

    if (VAR_0->eof_timer) {

        timer_del(VAR_0->eof_timer);

        timer_free(VAR_0->eof_timer);

    }

    VAR_0->eof_timer = NULL;

}

static void FUNC_0(OHCIState *VAR_0)
{ trace_usb_ohci_stop(VAR_0->name); if (VAR_0->eof_timer) { timer_del(VAR_0->eof_timer); timer_free(VAR_0->eof_timer); } VAR_0->eof_timer = NULL; }