#include "drd_barrier.h"
#include "drd_clientreq.h"
#include "drd_cond.h"
+#include "drd_load_store.h"
#include "drd_mutex.h"
#include "drd_rwlock.h"
#include "drd_semaphore.h"
#include "drd_suppression.h" // drd_start_suppression()
#include "drd_thread.h"
+#include "../helgrind/helgrind.h"
#include "pub_tool_basics.h" // Bool
#include "pub_tool_debuginfo.h" // VG_(describe_IP)()
#include "pub_tool_libcassert.h"
DRD_(thread_leave_synchr)(drd_tid);
break;
+ case VG_USERREQ__HG_CLEAN_MEMORY:
+ if (arg[2] > 0)
+ DRD_(clean_memory)(arg[1], arg[2]);
+ break;
+
default:
VG_(message)(Vg_DebugMsg, "Unrecognized client request 0x%lx 0x%lx",
arg[0], arg[1]);