tprints(", msg_iov=");
tprint_iov_upto(tcp, (unsigned long) msg->msg_iovlen,
- (unsigned long) msg->msg_iov, decode, data_size);
+ (kernel_ureg_t) msg->msg_iov, decode, data_size);
tprintf(", msg_iovlen=%lu", (unsigned long) msg->msg_iovlen);
- decode_msg_control(tcp, (unsigned long) msg->msg_control,
+ decode_msg_control(tcp, (kernel_ureg_t) msg->msg_control,
msg->msg_controllen);
tprintf(", msg_controllen=%lu", (unsigned long) msg->msg_controllen);