#ifdef DEBUG
pkt_print(urb, dev, pipe, buffer, transfer_len,
#ifdef DEBUG
pkt_print(urb, dev, pipe, buffer, transfer_len,
err ("can't reset usb-%s", gohci.slot_name);
#ifdef CONFIG_SYS_USB_OHCI_BOARD_INIT
/* board dependant cleanup */
err ("can't reset usb-%s", gohci.slot_name);
#ifdef CONFIG_SYS_USB_OHCI_BOARD_INIT
/* board dependant cleanup */