)]}'
{
  "id": "cd15c1b7fae0683e5bd136c827dc0e4a96c10d69",
  "repo": "third_party/kernel",
  "revision": "5ed555a986ca2c52a6ebcb9876f8daf38f745f34",
  "path": "include/linux/tee_drv.h"
}