)]}' { "id": "2339f134a09ab0ff90da7c800e85dcd68cb73980", "repo": "third_party/dump-capture-kernel", "revision": "23695d1abbbc97337638199166ae6be3b0eb74f4", "path": "drivers/gpu/drm/tegra/hdmi.h" }