diff options
Diffstat (limited to 'include/pub_tool_libcproc.h')
| -rw-r--r-- | include/pub_tool_libcproc.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/pub_tool_libcproc.h b/include/pub_tool_libcproc.h index d8bad0a3a..25931bfb2 100644 --- a/include/pub_tool_libcproc.h +++ b/include/pub_tool_libcproc.h @@ -75,6 +75,9 @@ extern Int VG_(getegid) ( void ); Timing ------------------------------------------------------------------ */ +// Returns the number of milliseconds passed since the progam started +// (roughly; it gets initialised partway through Valgrind's initialisation +// steps). extern UInt VG_(read_millisecond_timer) ( void ); #endif // __PUB_TOOL_LIBCPROC_H |