1 files changed, 0 insertions, 26 deletions
diff --git a/tapset/LKET/pagefault.stp b/tapset/LKET/pagefault.stp
deleted file mode 100755
index 214855fb..00000000
--- a/tapset/LKET/pagefault.stp
+++ /dev/null
@@ -1,26 +0,0 @@
-// Copyright (C) 2005, 2006 IBM Corp.
-//
-// This file is part of systemtap, and is free software.  You can
-// redistribute it and/or modify it under the terms of the GNU General
-// Public License (GPL); either version 2, or (at your option) any
-// later version.
-
-function log_pagefault_tracedata(var_addr:long, var_rwflag:long)
-%{
-	_lket_trace(_GROUP_PAGEFAULT, _HOOKID_PAGEFAULT, "%8b%1b", 
-		THIS->var_addr, (_FMT_)((THIS->var_rwflag)?1:0)); 
-%}
-
-
-/* Record the page fault event */
-probe addevent.pagefault
-	+= _addevent.pagefault
-{
-	update_record()
-}
-
-probe _addevent.pagefault
-	=  vm.pagefault
-{
-	log_pagefault_tracedata($address, $write_access)
-}