Lines Matching refs:user_msqid_ds
100 struct msqid_kernel *msqids; /* MSGMNI msqid_kernel structs (wrapping user_msqid_ds structs) */
154 msqid_ds_kerneltouser32(struct user_msqid_ds *in, struct user32_msqid_ds *out)
168 msqid_ds_kerneltouser64(struct user_msqid_ds *in, struct user64_msqid_ds *out)
187 msqid_ds_user32tokernel(struct user32_msqid_ds *in, struct user_msqid_ds *out)
201 msqid_ds_user64tokernel(struct user64_msqid_ds *in, struct user_msqid_ds *out)
271 sizeof(struct user_msqid_ds) * msginfo.msgmni,
394 struct user_msqid_ds msqbuf;
642 printf("need to allocate the user_msqid_ds\n");
647 * Look for an unallocated and unlocked user_msqid_ds.
648 * user_msqid_ds's can be locked by msgsnd or msgrcv
659 printf("no more user_msqid_ds's available\n");
809 * If the user_msqid_ds is already locked, we need to sleep on
863 printf("we don't own the user_msqid_ds\n");
870 printf("we own the user_msqid_ds\n");
929 * Re-lock the user_msqid_ds in case we page-fault when copying in
933 panic("user_msqid_ds is already locked");
1053 * We've got the message. Unlock the user_msqid_ds.
1059 * Make sure that the user_msqid_ds is still allocated.