)]}'
{
  "id": "abd5f158d6e2d7b9d84fbdaf91b3ac9fda0d1f7b",
  "repo": "third_party/kernel",
  "revision": "refs/heads/cos-5.4",
  "path": "drivers/clocksource/timer-ti-32k.c"
}