Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
ipc/msg.c do_msgrcv() -> do_msgrcv param 5()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | bufsz | 0-9223372036854775807 |
| BUF_SIZE | 1 | msg | (-1)-0,48-4096 |
| BUF_SIZE | 1 | msg | (-1)-0,48-4096 |
| CAPPED_DATA | 1 | msg->m_ts | 1 |
| CAPPED_DATA | 2 | bufsz | 1 |
| CAPPED_DATA | 2 | bufsz | 1 |
| DATA_SOURCE | 0 | dest | $1 |
| DATA_SOURCE | 2 | bufsz | $2 |
| USER_DATA | 2 | bufsz | 0-9223372036854775807[c] |