From db55e0298beffc96d2d928053fd0573189bbe58d Mon Sep 17 00:00:00 2001 From: Josh Stone Date: Tue, 13 Apr 2010 20:07:16 -0700 Subject: Fix [set_]kernel_pointer for 32-bit * tapset/conversions.stp (kernel_pointer): Use uintptr_t casts. * tapset/conversions-guru.stp (set_kernel_pointer): Ditto. --- tapset/conversions-guru.stp | 2 +- tapset/conversions.stp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tapset/conversions-guru.stp b/tapset/conversions-guru.stp index 9d662ce3..e92ea4ce 100644 --- a/tapset/conversions-guru.stp +++ b/tapset/conversions-guru.stp @@ -125,7 +125,7 @@ deref_fault: /* branched to from kwrite() */ * 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); + kwrite((void **) (uintptr_t) THIS->addr, (uintptr_t)THIS->val); if (0) { deref_fault: /* branched to from kwrite() */ snprintf (CONTEXT->error_buffer, sizeof(CONTEXT->error_buffer), diff --git a/tapset/conversions.stp b/tapset/conversions.stp index 8d8be9f4..38eda207 100644 --- a/tapset/conversions.stp +++ b/tapset/conversions.stp @@ -122,7 +122,7 @@ deref_fault: /* branched to from kread() */ * fails. */ function kernel_pointer:long (addr:long) %{ /* pure */ - THIS->__retvalue = (int64_t) kread((void **) (intptr_t) THIS->addr); + THIS->__retvalue = (uintptr_t) kread((void **) (uintptr_t) THIS->addr); if (0) { deref_fault: /* branched to from kread() */ snprintf (CONTEXT->error_buffer, sizeof(CONTEXT->error_buffer), -- cgit