diff options
Diffstat (limited to 'tapset/memory.stp')
-rw-r--r-- | tapset/memory.stp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tapset/memory.stp b/tapset/memory.stp index 2c36f83e..b66e1eb2 100644 --- a/tapset/memory.stp +++ b/tapset/memory.stp @@ -76,7 +76,7 @@ probe vm.write_shared = kernel.function("do_wp_page") { * zero - boolean indicating whether it is a zero page * (can do a clear instead of a copy). */ -probe vm.write_shared_copy = kernel.inline("copy_cow_page") { +probe vm.write_shared_copy = kernel.inline("copy_cow_page")? { address = $address zero = _IS_ZERO_PAGE($from, address); } @@ -93,7 +93,7 @@ probe vm.write_shared_copy = kernel.inline("copy_cow_page") { * address - the requested address * length - the length of the memory segment */ -probe vm.mmap = kernel.inline("do_mmap"), kernel.inline("do_mmap2") { +probe vm.mmap = kernel.inline("do_mmap"), kernel.inline("do_mmap2")? { address = $addr length = $len } |