)]}'
{
  "id": "75486b25ac45aa3d3e2a9e91701fc0f76e1c59bd",
  "repo": "third_party/kernel",
  "revision": "c79ff94de84a87731644978e739656ed62f75ada",
  "path": "arch/riscv/kvm/vcpu_timer.c"
}