)]}'
{
  "id": "4b04ffbe5e7e9be71ca9b73ac5c38a98916602aa",
  "repo": "third_party/kernel",
  "revision": "refs/heads/cos-5.4",
  "path": "drivers/clocksource/timer-riscv.c"
}