*/
#include "pub_core_basics.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
*/
#include "pub_core_basics.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h" // For Segment type
#include "pub_core_debuginfo.h"
#include "pub_core_demangle.h"
*/
#include "pub_core_basics.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_debuglog.h"
#include "pub_core_errormgr.h"
*/
#include "pub_core_basics.h"
-#include "pub_core_aspacemgr.h" // Needed for pub_core_redir.h
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
+#include "pub_core_aspacemgr.h" // Needed for pub_core_redir.h :(
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcprint.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_dispatch.h"
#include "pub_core_errormgr.h" // For VG_(get_n_errs_found)()
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h" /* find_segment */
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_debugger.h"
#include "pub_core_errormgr.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h" // For VG_(is_addressable)()
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
-#include "pub_core_debuglog.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
+#include "pub_core_debuglog.h"
#include "pub_core_options.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
-#include "pub_core_debuglog.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
+#include "pub_core_debuglog.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcfile.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_debuglog.h"
#include "pub_core_libcbase.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
-#include "pub_core_debuglog.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
+#include "pub_core_debuglog.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcmman.h"
#include "pub_core_basics.h"
#include "pub_core_threadstate.h"
-#include "pub_core_debuglog.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
+#include "pub_core_debuglog.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcmman.h"
*/
#include "pub_core_basics.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h" // For VG_(get_shadow_size)()
#include "pub_core_libcassert.h"
#include "pub_core_libcprint.h"
*/
#include "pub_core_basics.h"
+#include "pub_core_debuginfo.h" // Needed for pub_core_aspacemgr :(
#include "pub_core_aspacemgr.h"
#include "pub_core_cpuid.h"
#include "pub_core_libcbase.h"
// memory management. Hence this module is almost completely
// standalone; the only module it uses is m_debuglog. DO NOT CHANGE
// THIS.
-// [XXX: actually, this is far from true...]
+// [XXX: actually, this is far from true... especially that to #include
+// this header, you have to #include pub_core_debuginfo in order to
+// see the SegInfo type, which is very bad...]
//--------------------------------------------------------------------
#include "pub_tool_aspacemgr.h"
-#include "pub_core_debuginfo.h"
// Address space globals
extern Addr VG_(client_base); // client address space limits
#define __PUB_CORE_SYSWRAP_H
//--------------------------------------------------------------------
-// PURPOSE: This module contains all the syscall junk: mostly wrappers,
-// but also the code that executes them, and related stuff.
+// PURPOSE: This module contains all the syscall junk: mostly PRE/POST
+// wrappers, but also the main syscall jacketing code.
//--------------------------------------------------------------------
// Return how many bytes of a thread's Valgrind stack are unused