Lines Matching refs:vki_pid_t
1340 vki_pid_t, pid, unsigned int, resource,
2501 vki_pid_t, pid, struct sched_param *, p);
2513 vki_pid_t, pid, struct sched_param *, p);
2524 PRE_REG_READ1(long, "sched_getscheduler", vki_pid_t, pid);
2531 vki_pid_t, pid, int, policy, struct sched_param *, p);
2560 vki_pid_t, pid,
2575 vki_pid_t, pid, unsigned int, len, unsigned long *, mask);
2583 vki_pid_t, pid, unsigned int, len, unsigned long *, mask);
2693 int, which, vki_pid_t, pid, struct vki_siginfo *, infop,
2767 vki_pid_t, pid, int, cpu, int, group_fd,
2816 vki_pid_t, pid, unsigned long, nr_pages, const void **, pages,
3605 vki_pid_t, pid,
3643 vki_pid_t, pid,
4386 PRE_MEM_WRITE( "ioctl(TIOCGPGRP)", ARG3, sizeof(vki_pid_t) );
4390 PRE_MEM_WRITE( "ioctl(TIOCGPGRP)", ARG3, sizeof(vki_pid_t) );
5750 POST_MEM_WRITE( ARG3, sizeof(vki_pid_t) );
5754 POST_MEM_WRITE( ARG3, sizeof(vki_pid_t) );
