kgdbdbgp_buf_idx 1012 drivers/usb/early/ehci-dbgp.c static int kgdbdbgp_buf_idx; kgdbdbgp_buf_idx 1019 drivers/usb/early/ehci-dbgp.c if (kgdbdbgp_buf_idx < kgdbdbgp_buf_sz) { kgdbdbgp_buf_idx 1020 drivers/usb/early/ehci-dbgp.c char ch = kgdbdbgp_buf[kgdbdbgp_buf_idx++]; kgdbdbgp_buf_idx 1030 drivers/usb/early/ehci-dbgp.c kgdbdbgp_buf_idx = 1; kgdbdbgp_buf_idx 1078 drivers/usb/early/ehci-dbgp.c kgdbdbgp_buf_idx--;