# vim: set ft=c:

MPI_Abort:
    .desc: Terminates MPI execution environment
    .skip: ThreadSafe, validate-ERROR_CODE
    .extra: ignore_revoked_comm

MPI_Finalize:
    .desc: Terminates MPI execution environment
    .skip: ThreadSafe, global_cs

MPI_Finalized:
    .desc: Indicates whether 'MPI_Finalize' has been called.
    .skip: initcheck
    .include: mpi_init.h

MPI_Init:
    .desc: Initialize the MPI execution environment
    .skip: ThreadSafe, initcheck, validate-ARGUMENT_COUNT, validate-ARGUMENT_LIST
    .seealso: MPI_Init_thread, MPI_Finalize
    .include: mpi_init.h
{ -- error_check --
    MPIR_ERRTEST_INITTWICE();
}

MPI_Initialized:
    .desc: Indicates whether 'MPI_Init' has been called.
    .skip: initcheck
    .include: mpi_init.h

MPI_Init_thread:
    .desc: Initialize the MPI execution environment
    .skip: ThreadSafe, initcheck, validate-THREAD_LEVEL, validate-ARGUMENT_COUNT, validate-ARGUMENT_LIST
    .seealso: MPI_Init, MPI_Finalize
    .include: mpi_init.h
{ -- error_check --
    MPIR_ERRTEST_INITTWICE();
}

MPI_Is_thread_main:
    .desc: Returns a flag indicating whether this thread called 'MPI_Init' or 'MPI_Init_thread'
    .skip: global_cs

MPI_Query_thread:
    .desc: Return the level of thread support provided by the MPI library
    .skip: global_cs

MPI_Session_init:
    .desc: Initialize an MPI session
    .skip: initcheck

MPI_Session_finalize:
    .desc: Finalize an MPI Session
    .skip: ThreadSafe, global_cs

MPI_Session_get_num_psets:
    .desc: Get number of available processes sets

MPI_Session_get_nth_pset:
    .desc: Get the nth processes set
{ -- error_check -- pset_name
    if (*pset_len) {
        MPIR_ERRTEST_ARGNULL(pset_name, "pset_name", mpi_errno);
    }
}

MPI_Session_get_info:
    .desc: Get the info hints associated to the session

MPI_Session_get_pset_info:
    .desc: Get the info associated with the processes set

MPI_Group_from_session_pset:
    .desc: Get group from a session processes set

MPI_Comm_create_from_group:
    .desc: Create communicator from a group
