)]}'
{
  "id": "31a3a7f81fddd2611bf956a7f000b9166b1b1091",
  "repo": "opensbi",
  "revision": "HEAD",
  "path": "include/sbi/sbi_domain_context.h"
}