Searched refs:__vki_kernel_ipc_pid_t (Results 1 – 11 of 11) sorted by relevance
42 typedef unsigned short __vki_kernel_ipc_pid_t; typedef
42 typedef int __vki_kernel_ipc_pid_t; typedef
45 typedef int __vki_kernel_ipc_pid_t; typedef
57 typedef int __vki_kernel_ipc_pid_t; typedef
43 typedef int __vki_kernel_ipc_pid_t; typedef
1535 __vki_kernel_ipc_pid_t msg_lspid; /* pid of last msgsnd */1536 __vki_kernel_ipc_pid_t msg_lrpid; /* last receive pid */1565 __vki_kernel_ipc_pid_t shm_cpid; /* pid of creator */1566 __vki_kernel_ipc_pid_t shm_lpid; /* pid of last operator */
217 typedef unsigned short __vki_kernel_ipc_pid_t;