)]}'
{
  "id": "3bd31b1321f689188116ae56a5f95f64341dfc7e",
  "repo": "linux",
  "revision": "a1df7efedab047a8ea4d5850737f03d3679726a7",
  "path": "drivers/clocksource/mips-gic-timer.c"
}