commit bbec7728efefaa650970dd1f0282b77040287133
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Nov 25 14:08:53 2007 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Nov 25 14:08:53 2007 +0000
tree 8b72f6ec24f218974a1feb470c94b8f9a006f5a0
parent 7a387ea74af6e887c6fb30092485fb0cf614fb2a

Misc changes needed to support exp-drd (Bart Van Assche).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7213 a5019735-40e9-0310-863c-91ae7b9d1cf9

include/pub_tool_debuginfo.h

diff --git a/include/pub_tool_debuginfo.h b/include/pub_tool_debuginfo.h
index 76dd6b2..0387d1f 100644
--- a/include/pub_tool_debuginfo.h
+++ b/include/pub_tool_debuginfo.h
@@ -136,6 +136,9 @@
 
 extern VgSectKind VG_(seginfo_sect_kind)(Addr);
 
+extern Char* VG_(seginfo_sect_kind_name)(Addr a, Char* buf, UInt n_buf);
+
+
 #endif   // __PUB_TOOL_DEBUGINFO_H
 
 /*--------------------------------------------------------------------*/