)]}'
{
  "id": "681cf0c8b9df4e495c31ec62b00629ecbebac76c",
  "repo": "linux",
  "revision": "ecd5d67ad602c2c12e8709762717112ef0958767",
  "path": "include/kvm/arm_arch_timer.h"
}