update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / helgrind / libhb.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/libhb.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/libhb.h
index 8d88de63937ede8a165f2b7f69bf5ad3a302e726..4cfc3ed2efa67f30153f18503b120c58731b9b84 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/libhb.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/libhb.h
@@ -124,15 +124,16 @@ void zsm_sapplyNN_f__msmcread ( Thr* thr, Addr a, SizeT len );
 void libhb_Thr_resumes ( Thr* thr );
 
 /* Set memory address ranges to new (freshly allocated), or noaccess
-   (no longer accessible). */
+   (no longer accessible).  NB: "AHAE" == "Actually Has An Effect" :-) */
 void libhb_srange_new      ( Thr*, Addr, SizeT );
-void libhb_srange_noaccess ( Thr*, Addr, SizeT ); /* IS IGNORED */
 void libhb_srange_untrack  ( Thr*, Addr, SizeT );
+void libhb_srange_noaccess_NoFX ( Thr*, Addr, SizeT ); /* IS IGNORED */
+void libhb_srange_noaccess_AHAE ( Thr*, Addr, SizeT ); /* IS NOT IGNORED */
 
-/* For the convenience of callers, we offer to store one void* item in
-   a Thr, which we ignore, but the caller can get or set any time. */
-void* libhb_get_Thr_opaque ( Thr* );
-void  libhb_set_Thr_opaque ( Thr*, void* );
+/* Get and set the hgthread (pointer to corresponding Thread
+   structure). */
+Thread* libhb_get_Thr_hgthread ( Thr* );
+void    libhb_set_Thr_hgthread ( Thr*, Thread* );
 
 /* Low level copy of shadow state from [src,src+len) to [dst,dst+len).
    Overlapping moves are checked for and asserted against. */