)]}' { "id": "ad9c1d47a619b7e537a884ca7f2e2680a9137d6f", "repo": "third_party/dump-capture-kernel", "revision": "23695d1abbbc97337638199166ae6be3b0eb74f4", "path": "drivers/usb/serial/io_edgeport.h" }