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