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