)]}'
{
  "id": "8cd4bae9fdd4d951ba03e1dc3230b0f8417ff86d",
  "repo": "trusted-firmware-a",
  "revision": "ef1f53b31d065a0fd32ceec3a9250ba479a613a0",
  "path": "docs/components/platform-interrupt-controller-API.rst"
}