#ifndef GRAS_VIRTU_H
#define GRAS_VIRTU_H
-#include "xbt/misc.h" /* BEGIN_DECL */
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
-BEGIN_DECL()
+SG_BEGIN_DECL()
/** @addtogroup GRAS_virtu
* @brief System call abstraction layer (Virtualization).
+ *
+ * <center><table><tr><td><b>Top</b> <td> [\ref index]::[\ref GRAS_API]
+ * <tr><td><b>Prev</b> <td> [\ref GRAS_timer]
+ * <tr><td><b>Next</b> <td> [\ref GRAS_globals] </table></center>
+ *
* @{
*/
const char *
gras_os_myname(void);
+/** @brief get process identification
+ *
+ * Returns the process ID of the current process. (This is often used
+ by routines that generate unique temporary file names.)
+ */
+int gras_os_getpid(void);
+
/** @} */
-END_DECL()
+SG_END_DECL()
#endif /* GRAS_VIRTU_H */