)]}'
{
  "id": "7d6824f7c0e8d871723b5a96c8aacf4cf36b4c38",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/nds32/include/asm/cacheflush.h"
}