)]}'
{
  "id": "82828d3a4739aa601a0690a6ac6963a7336805e3",
  "repo": "linux",
  "revision": "2eb7954809bf26de27bc3a2fea4eef606bbf4482",
  "path": "drivers/clocksource/bcm2835_timer.c"
}