linux/lib/mpi/mpi-inline.h