Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
ipc/msg.c compat_ksys_msgrcv() -> do_msgrcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | buf | 0-u32max |
| PARAM_VALUE | 2 | bufsz | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | msgtyp | s32min-s32max |
| PARAM_VALUE | 5 | msg_handler | 7869338180905611264 |
| DATA_SOURCE | 0 | msqid | $0 |
| DATA_SOURCE | 2 | bufsz | $2 |
| DATA_SOURCE | 3 | msgtyp | $3 |
| DATA_SOURCE | 4 | msgflg | $4 |
| USER_DATA | 0 | msqid | s32min-s32max |
| USER_DATA | 2 | bufsz | 0-s32max,18446744071562067968-u64max |
| USER_DATA | 3 | msgtyp | s32min-s32max |
| USER_DATA | 4 | msgflg | s32min-s32max |
ipc/msg.c ksys_msgrcv() -> do_msgrcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 5 | msg_handler | 5329542864318558208 |
| DATA_SOURCE | 0 | msqid | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | bufsz | $2 |
| DATA_SOURCE | 3 | msgtyp | $3 |
| DATA_SOURCE | 4 | msgflg | $4 |
| USER_DATA | 0 | msqid | s32min-s32max |
| USER_DATA | 2 | bufsz | 0-u64max |
| USER_DATA | 3 | msgtyp | s64min-s64max |
| USER_DATA | 4 | msgflg | s32min-s32max |