kgdbdbgp_read_char 1041 drivers/usb/early/ehci-dbgp.c .read_char = kgdbdbgp_read_char, kgdbdbgp_read_char 1073 drivers/usb/early/ehci-dbgp.c ret = kgdbdbgp_read_char();