EHCI_USBLEGSUP_BIOS  712 drivers/usb/early/ehci-dbgp.c #define EHCI_USBLEGSUP_BIOS	(1 << 16)	/* BIOS semaphore */
EHCI_USBLEGSUP_BIOS   55 drivers/usb/host/pci-quirks.c #define EHCI_USBLEGSUP_BIOS	(1 << 16)	/* BIOS semaphore */