)]}'
{
  "id": "6797811bf1e6c7e9f706a7d7362b22cdf94f4dd7",
  "repo": "third_party/kernel",
  "revision": "44db6154b00a43d87634fd0d35292aec1d0c14c7",
  "path": "include/linux/efi.h"
}