unregister_reboot_notifier (&ohci->reboot_notifier); 
static void ohci_stop (struct usb_hcd *hcd){		struct ohci_hcd		*ohci = hcd_to_ohci (hcd);	ohci_dbg (ohci, "stop %s controller (state 0x%02x)\n",		hcfs2string (ohci->hc_control & OHCI_CTRL_HCFS),		hcd->state);	ohci_dump (ohci, 1);	flush_scheduled_work();	ohci_usb_reset (ohci);	ohci_writel (ohci, OHCI_INTR_MIE, &ohci->regs->intrdisable);		remove_debug_files (ohci);	ohci_mem_cleanup (ohci);	if (ohci->hcca) {		dma_free_coherent (hcd->self.controller, 				sizeof *ohci->hcca, 				ohci->hcca, ohci->hcca_dma);		ohci->hcca = NULL;		ohci->hcca_dma = 0;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f4df0e334a9fc731689e8ba4f42a0d72a7491348/ohci-hcd.c/clean/drivers/usb/host/ohci-hcd.c