)]}' { "id": "ac4888dc86bcb51d802cb08d1795c60d9c4180d3", "repo": "kernel/bruno", "revision": "refs/heads/newkernel_dev", "path": "include/kvm/arm_vgic.h" }