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