(void) ehci_halt (ehci); 
ehci_reboot (struct notifier_block *self, unsigned long code, void *null){	struct ehci_hcd		*ehci;	ehci = container_of (self, struct ehci_hcd, reboot_notifier);	/* make BIOS/etc use companion controller during reboot */	writel (0, &ehci->regs->configured_flag);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/72f30b6f2f5f68dd426e9fe83817b882c2d04e50/ehci-hcd.c/clean/drivers/usb/host/ehci-hcd.c