)]}'
{
  "id": "05a18dd265b5538434d07e664e535d45c0f3a1fa",
  "repo": "linux",
  "revision": "cf2d45f5ba9a730df6ec190e0345cecde80b1d8b",
  "path": "include/kvm/arm_arch_timer.h"
}