)]}'
{
  "id": "d91e8725917c615c8e3390d356dd9e3d133a666e",
  "repo": "linux",
  "revision": "694d0d0bb2030d2e36df73e2d23d5770511dbc8d",
  "path": "drivers/clocksource/mips-gic-timer.c"
}