)]}'
{
  "id": "327b155e7cc9c57d03c5bb3e6a225f6bfd00de2b",
  "repo": "linux",
  "revision": "78a4260f1fad5cfc6ad7cf6e01a93a2fed0d0e3e",
  "path": "include/kvm/arm_arch_timer.h"
}