)]}' { "id": "947be761dfa400739620ea8b2b22866cd72b5079", "repo": "linux", "revision": "72f6a45202f20f0e1a46b0acb7803369cc53d0b8", "path": "drivers/video/hdmi.c" }