)]}' { "id": "9dae1f6487136a3b9132c6f18c5c2aba2a028fc4", "repo": "linux", "revision": "16bc177666c037b4aa3e1f68f4eac685006c622b", "path": "kernel/usermode_driver.c" }