Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
ipc/msg.c compat_ksys_msgsnd() -> do_msgsnd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | msgsz | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | msqid | $0 |
| DATA_SOURCE | 3 | msgsz | $2 |
| DATA_SOURCE | 4 | msgflg | $3 |
| USER_DATA | 0 | msqid | s32min-s32max |
| USER_DATA | 1 | mtype | s32min-s32max |
| USER_DATA | 3 | msgsz | 0-s32max,18446744071562067968-u64max |
| USER_DATA | 4 | msgflg | s32min-s32max |
ipc/msg.c ksys_msgsnd() -> do_msgsnd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 2 | mtext | 1 |
| DATA_SOURCE | 0 | msqid | $0 |
| DATA_SOURCE | 3 | msgsz | $2 |
| DATA_SOURCE | 4 | msgflg | $3 |
| USER_DATA | 0 | msqid | s32min-s32max |
| USER_DATA | 1 | mtype | s64min-s64max |
| USER_DATA | 3 | msgsz | 0-u64max |
| USER_DATA | 4 | msgflg | s32min-s32max |