)]}'
{
  "id": "c8bc5d25412da99d3885daf3f9f1b155c5d2a476",
  "repo": "qemu-android",
  "revision": "805b5d98c649d26fc44d2d7755a97f18e62b438a",
  "path": "include/hw/timer/mips_gictimer.h"
}