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