linux memory tapset: do_page_mkwrite changes

Adapt to linux commit 38b8cb7fbb, wherein the arguments for
do_page_mkwrite have been changed.

diff --git a/tapset/linux/memory.stp b/tapset/linux/memory.stp
index 3df4664b29412980a21fbb6f273428a4279fffd4..74e8cdfe327de72ba86f50ee8a047734b5e3aede 100644 (file)
--- 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)
 }
 
 /**