printaddr: change argument type to kernel_ureg_t

* defs.h (printaddr): Change argument type from unsigned long
to kernel_ureg_t.

diff --git a/defs.h b/defs.h
index 2b6ca9d18dad366b89b9f6a752ab5d7068ac375c..4f177065fdcf2d797443dc05a8d53c66b0579c92 100644 (file)
--- a/defs.h
+++ b/defs.h
@@ -707,7 +707,7 @@ extern void unwind_capture_stacktrace(struct tcb* tcp);
 #endif
 
 static inline void
-printaddr(unsigned long addr)
+printaddr(kernel_ureg_t addr)
 {
        printaddr_klu(addr);
 }