)]}'
{
  "id": "766611d299455efa3699fe49d5aa9a42812bd226",
  "repo": "linux",
  "revision": "f7f7c1850eb98da758731ea7edfa830ebefe24cd",
  "path": "drivers/clocksource/bcm2835_timer.c"
}