)]}'
{
  "id": "7cd1473c64a4583307c6bd0f032910d39f7bb309",
  "repo": "third_party/kernel",
  "revision": "13e8a05b922457761ddef39cfff6231bd4ed9eef",
  "path": "include/linux/mpi.h"
}