)]}'
{
  "id": "c3e878ca3e07f10fd7eb3900546c4c9d8daf8c92",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/mips/kvm/interrupt.h"
}