)]}'
{
  "id": "17cecc96f735e3785bb1f6a30e4e20ee613b4bcd",
  "repo": "third_party/linux",
  "revision": "c6819700fef8809fdd62fea69fa6fecc552d7a49",
  "path": "virt/kvm/arm/arch_timer.c"
}
