)]}'
{
  "id": "f2f29d2be1cf43cf91536998ea4a3b27828490b6",
  "repo": "linux",
  "revision": "96395cbbc7e94cbbe4f76cf64cf122fabc19123d",
  "path": "drivers/clocksource/bcm2835_timer.c"
}