)]}'
{
  "id": "8303f4c7ca714a0aa96aeec4be8c8423ce8a200d",
  "repo": "third_party/linux",
  "revision": "444b39ef6108313e8452010b22aaba588e8fb92b",
  "path": "kernel/usermode_driver.c"
}