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