Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/scm.c put_cmsg() -> put_cmsg_compat()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kmsg | 4096-ptr_max |
| PARAM_VALUE | 0 | kmsg->msg_flags | 2147483648-u32max |
| PARAM_VALUE | 1 | level | 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287 |
| PARAM_VALUE | 2 | type | 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104 |
| BUF_SIZE | 0 | kmsg->msg_control | (-1)-0,16-17,24 |
| BUF_SIZE | 0 | kmsg->msg_name | (-1)-0,12,52,128 |
| BUF_SIZE | 4 | data | (-1),1-s32max |
| BUF_SIZE | 4 | data | (-1),1-s32max |
| DATA_SOURCE | 0 | kmsg | $0 |
| DATA_SOURCE | 1 | level | $1 |
| DATA_SOURCE | 2 | type | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | data | $4 |
| BIT_INFO | 0 | kmsg->msg_flags | 0x80000000,0xffffffff |
| NOSPEC | 0 | kmsg->msg_iter.count | |
| HARD_MAX | 1 | level | 287 |
| HARD_MAX | 2 | type | 104 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kmsg->msg_control | 4096-ptr_max[c][u] |
| USER_DATA | 0 | kmsg->msg_control_user | 4096-ptr_max[c][u] |
| USER_DATA | 0 | kmsg->msg_controllen | 0-u64max |
| USER_DATA | 0 | kmsg->msg_flags | 2147483648-u32max[c] |
| USER_DATA | 0 | kmsg->msg_iter.count | 0-u64max |
| USER_DATA | 0 | kmsg->msg_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | *kmsg->msg_name | s64min-s64max |
| USER_DATA | 3 | len | (-60)-(-1),1-131071[c] |
| USER_DATA | 4 | *data | 0-255 |
| NO_OVERFLOW_SIMPLE | 3 | len | |
| UNITS | 3 | len | unit_byte |
| UNITS | 4 | data | unit_byte |
| USER_PTR | 4 | data | |
| HALF_LOCKED2 | &call->user_mutex | ||
| HALF_LOCKED2 | &rx->sk | ||
| HALF_LOCKED2 | &u->iolock | ||
| HALF_LOCKED2 | sk |