)]}'
{
  "id": "e71acf231c89a8cc4be7e5afd0d43a63d73054b5",
  "repo": "linux-imx",
  "revision": "d045446df196e3af341aa7623de5d21049ec4f67",
  "path": "drivers/clocksource/bcm2835_timer.c"
}