From 65dd4b7405baeee812f6d41f0ee74824b601a47a Mon Sep 17 00:00:00 2001
From: David Smith <dsmith@redhat.com>
Date: Wed, 7 Apr 2010 16:02:24 -0500
Subject: Added kernel_pointer()/set_kernel_pointer() tapset functions.

* tapset/conversions.stp (kernel_pointer): New function.
* tapset/conversions-guru.stp (set_kernel_pointer): Ditto.
* testsuite/buildok/conversions-embedded.stp: Added kernel_pointer() test.
* testsuite/buildok/conversions.stp: Ditto.
* testsuite/buildok/set_kernel.stp: Added set_kernel_pointer() test.
* tapset/nfs.stp: Removed __d_loff_t() function.  Uses new
  kernel_pointer() function instead.
* testsuite/buildok/nfs-embedded.stp: Removed __d_loff_t() test.
---
 tapset/conversions-guru.stp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'tapset/conversions-guru.stp')

diff --git a/tapset/conversions-guru.stp b/tapset/conversions-guru.stp
index f914bb31..9d662ce3 100644
--- a/tapset/conversions-guru.stp
+++ b/tapset/conversions-guru.stp
@@ -115,3 +115,21 @@ deref_fault: /* branched to from kwrite() */
     CONTEXT->last_error = CONTEXT->error_buffer;
   }
 %}
+
+/**
+ * sfunction set_kernel_pointer - Writes a pointer value to kernel memory.
+ * @addr: The kernel address to write the pointer to.
+ * @val: The pointer which is to be written.
+ *
+ * Description: Writes the pointer value to a given kernel memory address.
+ * Reports an error when writing to the given address fails.
+ */
+function set_kernel_pointer (addr:long, val:long) %{ /* guru */
+  kwrite((void **) (intptr_t) THIS->addr, THIS->val);
+  if (0) {
+deref_fault: /* branched to from kwrite() */
+    snprintf (CONTEXT->error_buffer, sizeof(CONTEXT->error_buffer),
+        "kernel pointer copy fault at 0x%p", (void *) (uintptr_t) THIS->addr);
+    CONTEXT->last_error = CONTEXT->error_buffer;
+  }
+%}
-- 
cgit