)]}' { "id": "33706dad6c0f7083f70b90332a1a1332ffc2936b", "repo": "linux", "revision": "988f01683c7f2bf9f8fe2bae1cf4010fcd1baaf5", "path": "drivers/infiniband/core/rdma_core.h" }