kgdbdbgp_wait_time 1045 drivers/usb/early/ehci-dbgp.c static int kgdbdbgp_wait_time;
kgdbdbgp_wait_time 1058 drivers/usb/early/ehci-dbgp.c 		kgdbdbgp_wait_time = simple_strtoul(ptr, &ptr, 10);
kgdbdbgp_wait_time 1083 drivers/usb/early/ehci-dbgp.c 		schedule_timeout_interruptible(kgdbdbgp_wait_time * HZ);
kgdbdbgp_wait_time 1090 drivers/usb/early/ehci-dbgp.c 	if (dbgp_kgdb_mode && kgdbdbgp_wait_time)