)]}'
{
  "id": "257e810ec1ad1dd25e7ec4e3263f7bf2816ef1f5",
  "repo": "third_party/kernel",
  "revision": "5451c40e92fbfc19edc953cb9affea60eee60378",
  "path": "drivers/clocksource/time-efm32.c"
}