Lines Matching refs:vki_seminfo
1122 struct vki_seminfo __user *__buf; /* buffer for IPC_INFO */1126 struct vki_seminfo {