)]}'
{
  "id": "0c6c1de6f3b7782c833090aed78a28b4efdf7c3f",
  "repo": "third_party/kernel",
  "revision": "0268efd555438e2e7ca5b676154a9d599474e03e",
  "path": "include/linux/tee_drv.h"
}