)]}'
{
  "id": "54c54ca7c7869f7812e61655f339b8da178c4e9b",
  "repo": "third_party/kernel",
  "revision": "4c3f6d04e63191a8afa005e20892e2746e8cd1df",
  "path": "drivers/clocksource/timer-msc313e.c"
}