Symbol: ohci_close_pipe