Defined in 1 files as a struct:
Defined in 1 files as a function:
Referenced in 8 files:
- net/tipc/addr.h, line 75
- net/tipc/msg.c
- net/tipc/name_distr.c
- net/tipc/name_table.c
- net/tipc/name_table.h
- net/tipc/net.c
- net/tipc/node.c
- net/tipc/socket.c
Smatch caller information:
net/tipc/node.c tipc_node_write_unlock() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 5082321860881387520 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 3 |
| PARAM_VALUE | 3 | type | 2 |
| NOSPEC | 4 | lower | |
| NOSPEC | 4 | lower | |
| NOSPEC | 5 | upper | |
| NOSPEC | 5 | upper | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 4 | lower | 1-u32max[c] |
| USER_DATA | 5 | upper | 1-u32max[c] |
| LOCK2 | &n->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &tn->node_list_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_node)->lock |
net/tipc/net.c tipc_net_finalize() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 169313916259696640 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 2 |
| PARAM_VALUE | 3 | type | 0 |
| DATA_SOURCE | 4 | lower | $1 |
| DATA_SOURCE | 5 | upper | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex |
net/tipc/socket.c tipc_sk_join() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 1117722562344042496 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 2-3 |
| PARAM_VALUE | 3 | type | 64-u32max |
| CAPPED_DATA | 2 | scope | 1 |
| FUZZY_MAX | 2 | scope | 2 |
| FUZZY_MAX | 3 | type | 64 |
| BIT_INFO | 2 | scope | 0x2,0x3 |
| HARD_MAX | 2 | scope | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | type | 64-u32max |
| USER_DATA | 4 | lower | 0-u32max |
| USER_DATA | 5 | upper | 0-u32max |
| LOCK2 | sk |
net/tipc/socket.c tipc_sk_withdraw() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 913158740181372928 |
| PARAM_VALUE | 0 | ua->addrtype | 1 |
| PARAM_VALUE | 0 | ua->family | 30 |
| PARAM_VALUE | 1 | atype | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | sock->sk |
net/tipc/name_table.c tipc_nametbl_subscribe() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 7599328819450658816 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 3 |
| CAPPED_DATA | 4 | lower | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | type | 64-u32max |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
net/tipc/name_table.c tipc_nametbl_unsubscribe() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 6687760390043918336 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &con->sub_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct tipc_conn)->sub_lock |
net/tipc/name_table.c tipc_nl_service_list() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 7114283633449156608 |
| PARAM_VALUE | 0 | ua->addrtype | 1 |
| PARAM_VALUE | 0 | ua->family | 30 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
net/tipc/msg.c tipc_msg_lookup_dest() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 3631048980603588608 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 0-131071 |
| CAPPED_DATA | 2 | scope | 1 |
| DATA_SOURCE | 2 | scope | r msg_lookup_scope |
| DATA_SOURCE | 4 | lower | r msg_nameinst |
| DATA_SOURCE | 5 | upper | r msg_nameinst |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | scope | 0-131071[c] |
| USER_DATA | 3 | type | 0-u32max |
| USER_DATA | 4 | lower | 0-u32max |
| USER_DATA | 5 | upper | 0-u32max |
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/name_distr.c tipc_publ_purge() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 514504610357792768 |
| PARAM_VALUE | 1 | atype | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tn->node_list_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/name_distr.c tipc_update_nametbl() -> tipc_uaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ua | 1813608087563997184 |
| PARAM_VALUE | 1 | atype | 1 |
| PARAM_VALUE | 2 | scope | 2 |
| CAPPED_DATA | 4 | lower | 1 |
| PARAM_COMPARE | 4 | lower | <= $5 |
| PARAM_COMPARE | 5 | upper | >= $4 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | type | 0-u32max |
| USER_DATA | 4 | lower | 0-u32max |
| USER_DATA | 5 | upper | 0-u32max |
| LOCK2 | &tn->nametbl_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_net)->nametbl_lock |