)]}'
{
  "id": "3e4431ed9aa92a4354d1f5468ce230c964e07770",
  "repo": "arm/linux",
  "revision": "c8d2bc9bc39ebea8437fd974fdbc21847bb897a3",
  "path": "drivers/clocksource/mps2-timer.c"
}