int mpi_fetchMessage(char *, mpi_message_t *)
int mpi_postMessage(char *, uInt32, mpi_message_t *)
int sys_mpiDestroyMbox(struct thread *td, struct sys_mpiDestroyMbox_args *args)
int mpi_destroyMbox(char *)
int sys_mpiPostMessage(struct thread *td, struct sys_mpiPostMessage_args *args)
int sys_mpiCreateMbox(struct thread *td, struct sys_mpiCreateMbox_args *args)
int kprintf(const char *,...)
int sys_mpiFetchMessage(struct thread *td, struct sys_mpiFetchMessage_args *args)
int mpi_createMbox(char *)