ohci_dbg_nosw     601 drivers/usb/host/ohci-dbg.c 	ohci_dbg_nosw(ohci, &next, &size,
ohci_dbg_nosw     620 drivers/usb/host/ohci-dbg.c 		ohci_dbg_nosw(ohci, &next, &size,