)]}'
{
  "id": "9bc50605227c4cf4f684cc114b9ab7aed92ca728",
  "repo": "linux",
  "revision": "fda6e0034e9da64e1cec31f4539b6c7abd9ed8be",
  "path": "drivers/tee/tee_private.h"
}