)]}'
{
  "id": "587e0202a70b263677abe66f2eff513fe491619a",
  "repo": "linux",
  "revision": "85aa391528ad11bfdfa5e5dec1f3e91cfe8ab078",
  "path": "drivers/clocksource/vf_pit_timer.c"
}