)]}' { "id": "122fb3c3ec9d0dbb8abea7259f916ffd86e610a3", "repo": "third_party/kernel", "revision": "1b2df0eb082577a1a27a17951b273874d45503b6", "path": "drivers/video/vgastate.c" }