)]}'
{
  "id": "89d3e4d7900c51f384f3b90200c1fecb2bab013f",
  "repo": "arm/linux",
  "revision": "93e35efb8de45393cf61ed07f7b407629bf698ea",
  "path": "drivers/clocksource/mips-gic-timer.c"
}