Lines Matching refs:vki_siginfo_t
3135 const vki_sigset_t *, set, vki_siginfo_t *, info,
3140 PRE_MEM_WRITE( "rt_sigtimedwait(info)", ARG2, sizeof(vki_siginfo_t) );
3148 POST_MEM_WRITE( ARG2, sizeof(vki_siginfo_t) );
3155 int, pid, int, sig, vki_siginfo_t *, uinfo);
3169 int, tgid, int, pid, int, sig, vki_siginfo_t *, uinfo);