)]}'
{
  "id": "0f175b8f6456c1d5ad14538deb66b9c3a9f3c5c7",
  "repo": "third_party/kernel",
  "revision": "89b68cd926633ff0df1e1a0ae29fcd80f68bdd96",
  "path": "include/linux/tee_drv.h"
}