)]}'
{
  "id": "98da206cd7615ba8a9269e2e31420ce9a1542b7d",
  "repo": "linux",
  "revision": "64b4aef17ea65c423fbcdee323b503d8e3ffb3a2",
  "path": "drivers/tee/tee_core.c"
}