)]}'
{
  "id": "71916de7c6c4de30259b77a2b723e4947128b2fa",
  "repo": "linux",
  "revision": "d564fa1ff19e893e2971d66e5c8f49dc1cdc8ffc",
  "path": "include/kvm/arm_arch_timer.h"
}