)]}' { "id": "4272358692976d13d3c164c90fa3919acf877aaa", "repo": "linux", "revision": "16bc177666c037b4aa3e1f68f4eac685006c622b", "path": "drivers/gpu/drm/vboxvideo/vboxvideo_vbe.h" }