)]}'
{
  "id": "401e4b254e30b06a9b19e826bd289c893c0cfe86",
  "repo": "third_party/kernel",
  "revision": "767a2217533fed696af0d06bee7746d34c4e00aa",
  "path": "include/linux/efi.h"
}