diff options
Diffstat (limited to 'include/pub_tool_libcproc.h')
| -rw-r--r-- | include/pub_tool_libcproc.h | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/include/pub_tool_libcproc.h b/include/pub_tool_libcproc.h index ddf91b4e3..f0f7cfca7 100644 --- a/include/pub_tool_libcproc.h +++ b/include/pub_tool_libcproc.h @@ -50,8 +50,10 @@ extern const Char *VG_(libdir); Important syscalls ------------------------------------------------------------------ */ -extern Int VG_(waitpid)( Int pid, Int *status, Int options ); -extern Int VG_(system) ( Char* cmd ); +extern Int VG_(waitpid)( Int pid, Int *status, Int options ); +extern Int VG_(system) ( Char* cmd ); +extern Int VG_(fork) ( void); +extern void VG_(execv) ( Char* filename, Char** argv ); /* --------------------------------------------------------------------- Resource limits @@ -80,6 +82,14 @@ extern Int VG_(getegid) ( void ); // steps). extern UInt VG_(read_millisecond_timer) ( void ); +/* --------------------------------------------------------------------- + atfork + ------------------------------------------------------------------ */ + +typedef void (*vg_atfork_t)(ThreadId); +extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child); + + #endif // __PUB_TOOL_LIBCPROC_H /*--------------------------------------------------------------------*/ |