)]}'
{
  "id": "af457b27f6074621bb182c80b7657d2b696e6f61",
  "repo": "third_party/kernel",
  "revision": "4388aee252f712d6c58566a5e41a11c7e938827e",
  "path": "drivers/vfio/mdev/mdev_private.h"
}