)]}'
{
  "id": "b45ac6229b57137d11898ede5ce11f7ec7c69439",
  "repo": "linux",
  "revision": "0ae45f63d4ef8d8eeec49c7d8b44a1775fff13e8",
  "path": "drivers/clocksource/vf_pit_timer.c"
}