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