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