|
From: <sv...@va...> - 2009-03-10 09:26:30
|
Author: bart
Date: 2009-03-10 09:26:07 +0000 (Tue, 10 Mar 2009)
New Revision: 9340
Log:
Added support for the VG_USERREQ__HG_CLEAN_MEMORY client request.
Modified:
trunk/drd/drd_clientreq.c
Modified: trunk/drd/drd_clientreq.c
===================================================================
--- trunk/drd/drd_clientreq.c 2009-03-10 09:25:32 UTC (rev 9339)
+++ trunk/drd/drd_clientreq.c 2009-03-10 09:26:07 UTC (rev 9340)
@@ -25,11 +25,13 @@
#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"
@@ -367,6 +369,11 @@
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]);
|