)]}'
{
  "id": "5686b691d6b80386fd2925eb9970393ea758c83f",
  "repo": "third_party/kernel",
  "revision": "0eae577cf6b3f6844e1328ed3d4643f7f44dfc19",
  "path": "drivers/infiniband/sw/rxe/rxe_opcode.h"
}