usbint            308 drivers/usb/host/uhci-debug.c 	unsigned short usbcmd, usbstat, usbint, usbfrnum;
usbint            316 drivers/usb/host/uhci-debug.c 	usbint    = uhci_readw(uhci, USBINTR);
usbint            347 drivers/usb/host/uhci-debug.c 	out += sprintf(out, "  usbint    =     %04x\n", usbint);