)]}'
{
  "id": "cf258807160d6506cbfdb21df74758f75de04dfe",
  "repo": "linux",
  "revision": "65710cb6ea315b3ef76a8a3da7be99afcf58d2bb",
  "path": "arch/arm/kernel/arch_timer.c"
}
