)]}'
{
  "id": "c7ca6c821daeff72a442490d70b8e97aa717126c",
  "repo": "qemu",
  "revision": "7ea3fd2b6c2543c60fb309265fa445fa8fdcc1ea",
  "path": "include/hw/timer/mips_gictimer.h"
}