)]}'
{
  "id": "b4b3ab5a11ad006cd0bf2bd4db50627057ea27c8",
  "repo": "linux",
  "revision": "02027d42c3f747945f19111d3da2092ed2148ac8",
  "path": "drivers/clocksource/mips-gic-timer.c"
}