}
static void
-printflock64(struct tcb *tcp, const long addr, const int getlk)
+printflock64(struct tcb *const tcp, const kernel_ureg_t addr, const int getlk)
{
struct_kernel_flock64 fl;
}
static void
-printflock(struct tcb *tcp, const long addr, const int getlk)
+printflock(struct tcb *const tcp, const kernel_ureg_t addr, const int getlk)
{
struct_kernel_flock64 fl;
}
static void
-print_f_owner_ex(struct tcb *tcp, const long addr)
+print_f_owner_ex(struct tcb *const tcp, const kernel_ureg_t addr)
{
struct { int type, pid; } owner;