capability: change address argument type from unsigned long to kernel_ureg_t

* capability.c (get_cap_header, print_cap_header, print_cap_data):
Change address argument type from unsigned long to kernel_ureg_t.

diff --git a/capability.c b/capability.c
index 5daefa6cc40e6b6772498751f290d7e48ccef073..76d382feb69d141cd0cfc77e5ee2559ba72ece73 100644 (file)
--- a/capability.c
+++ b/capability.c
@@ -64,7 +64,7 @@ typedef struct user_cap_data_struct {
 } *cap_user_data_t;
 
 static cap_user_header_t
-get_cap_header(struct tcb *tcp, unsigned long addr)
+get_cap_header(struct tcb *const tcp, const kernel_ureg_t addr)
 {
        static struct user_cap_header_struct header;
 
@@ -78,7 +78,8 @@ get_cap_header(struct tcb *tcp, unsigned long addr)
 }
 
 static void
-print_cap_header(struct tcb *tcp, unsigned long addr, cap_user_header_t h)
+print_cap_header(struct tcb *const tcp, const kernel_ureg_t addr,
+                const cap_user_header_t const h)
 {
        if (!addr || !h) {
                printaddr(addr);
@@ -105,7 +106,8 @@ print_cap_bits(const uint32_t lo, const uint32_t hi)
 }
 
 static void
-print_cap_data(struct tcb *tcp, unsigned long addr, const cap_user_header_t h)
+print_cap_data(struct tcb *const tcp, const kernel_ureg_t addr,
+              const cap_user_header_t const h)
 {
        struct user_cap_data_struct data[2];
        unsigned int len;