Lines Matching full:vki_seminfo
1158 struct vki_seminfo __user *__buf; /* buffer for IPC_INFO */1162 struct vki_seminfo {