)]}'
{
  "id": "1572c7a778abbb97d729f5ec25bcb0ab1c393d45",
  "repo": "linux-mtk",
  "revision": "6a4e24518c8a10f78f44da219835239cb5aca90d",
  "path": "drivers/clocksource/mips-gic-timer.c"
}