Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/socket.c __tipc_sendmsg() -> tipc_uaddr_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 1-u64max |
| BUF_SIZE | 0 | ua | (-1)-0,12,28,128 |
| BUF_SIZE | 0 | ua | (-1)-0,12,28,128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ua->addrtype | 0-255[u] |
| USER_DATA | 0 | ua->family | 0-u16max[u] |
| USER_DATA | 0 | ua->lookup_node | 0-u32max[u] |
| USER_DATA | 0 | ua->sa.instance | 0-u32max[u] |
| USER_DATA | 0 | ua->sa.type | 0-u32max[u] |
| USER_DATA | 0 | ua->scope | (-128)-127[u] |
| USER_DATA | 0 | ua->sk.node | 0-u32max[u] |
| USER_DATA | 0 | ua->sk.ref | 0-u32max[u] |
| USER_DATA | 0 | ua->sr.lower | 0-u32max[u] |
| USER_DATA | 0 | ua->sr.type | 0-u32max[u] |
| USER_DATA | 0 | ua->sr.upper | 0-u32max[u] |
| USER_DATA | 1 | len | 0-128 |
| UNITS | 0 | ua | unit_byte |
| UNITS | 1 | len | unit_byte |
| USER_PTR | 0 | ua | |
| HALF_LOCKED2 | sk |
net/tipc/socket.c tipc_bind() -> tipc_uaddr_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 4096-ptr_max |
| PARAM_VALUE | 0 | ua->addrtype | 1 |
| PARAM_VALUE | 1 | len | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ua | (-1),1-s32max |
| BUF_SIZE | 0 | ua | (-1),1-s32max |
| DATA_SOURCE | 0 | ua | $1 |
| DATA_SOURCE | 1 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | len | 1-128 |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &o2nm_cluster_group.cs_subsys.su_mutex |