)]}'
{
  "id": "257e810ec1ad1dd25e7ec4e3263f7bf2816ef1f5",
  "repo": "linux",
  "revision": "e63d79d1ffcd2201a2dbff1d7a1184b8f3ec74cf",
  "path": "drivers/clocksource/timer-efm32.c"
}