linux32_intp_t
syscallarg(linux32_intp_t) uaddr;
syscallarg(linux32_intp_t) uaddr2;
syscallarg(linux32_intp_t) tid;
syscallarg(linux32_intp_t) uaddr;
syscallarg(linux32_intp_t) uaddr2;
syscallarg(linux32_intp_t) tid;