text: #ifndef __MPI_INJECT__
  #define __MPI_INJECT__
  
  #define MPI_INIT 1500
  #define MPI_DEINIT 1501
  #define MPI_RANK 1502
  #define MPI_SEND 1503
  #define MPI_RECV 1504
  
  #ifndef __KERNEL__
  int mpi_init_hcall(int *argc, char ***argv);
  int mpi_deinit_hcall();
  int mpi_comm_rank_hcall(void *comm, int *rank);
  int mpi_send_hcall(void *buf, int n, void *dtype, int dest,
  		   int tag, void *comm);
  int mpi_recv_hcall(void *buf, int n, void *dtype, int src, 
  		   int tag, void *comm, void *stat);
  
  #endif
  
  #endif
  