var mpi__syscalls_8c =
[
    [ "sys_mpiCreateMbox", "db/d72/mpi__syscalls_8c.html#a05dfdcd5cf13ea0da5f17ec2ff50b149", null ],
    [ "sys_mpiDestroyMbox", "db/d72/mpi__syscalls_8c.html#a1d7dceb64a31fd348cab540f8adea714", null ],
    [ "sys_mpiFetchMessage", "db/d72/mpi__syscalls_8c.html#a692c753823e9e36da087f20d584eeb65", null ],
    [ "sys_mpiPostMessage", "db/d72/mpi__syscalls_8c.html#a680b099e0eb13af038eb9e34c5191dab", null ]
];