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