}
static bool
-fetch_msghdr_namelen(struct tcb *tcp, const long addr, int *const p_msg_namelen)
+fetch_msghdr_namelen(struct tcb *const tcp, const kernel_ureg_t addr,
+ int *const p_msg_namelen)
{
struct msghdr msg;
}
static void
-decode_msghdr(struct tcb *tcp, const int *const p_user_msg_namelen,
- const long addr, const unsigned long data_size)
+decode_msghdr(struct tcb *const tcp, const int *const p_user_msg_namelen,
+ const kernel_ureg_t addr, const unsigned long data_size)
{
struct msghdr msg;
}
void
-dumpiov_in_msghdr(struct tcb *tcp, long addr, unsigned long data_size)
+dumpiov_in_msghdr(struct tcb *const tcp, const kernel_ureg_t addr,
+ const unsigned long data_size)
{
struct msghdr msg;