)]}'
{
  "id": "e55204df31ce8eab9d454b85b5806719ac9378da",
  "repo": "third_party/linux",
  "revision": "a23d3576215f7447c547976817b33cb975ecec84",
  "path": "drivers/tee/tee_private.h"
}