From 727294a889081b551f17ba5acedd5e778da24bb4 Mon Sep 17 00:00:00 2001
From: "Frank Ch. Eigler" <fche@redhat.com>
Date: Tue, 10 Jan 2017 21:13:45 -0500
Subject: [PATCH] linux memory tapset: do_page_mkwrite changes

Adapt to linux commit 38b8cb7fbb, wherein the arguments for
do_page_mkwrite have been changed.
---
 tapset/linux/memory.stp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tapset/linux/memory.stp b/tapset/linux/memory.stp
index 3df4664b2..74e8cdfe3 100644
--- a/tapset/linux/memory.stp
+++ b/tapset/linux/memory.stp
@@ -145,7 +145,7 @@ function addr_to_node:long(addr:long) %{ /* pure */
  */
 probe vm.write_shared = kernel.function("do_wp_page") {
     name = "write_shared"
-    address = $address
+    address = @choose_defined($vmf->address,$address)
 }
 
 /**
-- 
2.43.5