)]}'
{
  "id": "88dd3cfbe0cfd9d4d8f191241f67b0769c7a2518",
  "repo": "opensbi",
  "revision": "HEAD",
  "path": "include/sbi_utils/irqchip/imsic.h"
}