Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/monitor.c mon_update_local_domain() -> dom_rec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dom | 4096-ptr_max |
| PARAM_VALUE | 1 | mcnt | 0-63,u16max |
| CAPPED_DATA | 1 | mcnt | 1 |
| BIT_INFO | 1 | mcnt | 0x0,0x3f |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mon->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_monitor)->lock |
net/tipc/monitor.c tipc_mon_prep() -> dom_rec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mcnt | 0 |
| DATA_SOURCE | 0 | dom | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dom->ack_gen | 0-u16max[u] |
| USER_DATA | 0 | dom->gen | 0-u16max[u] |
| USER_DATA | 0 | dom->len | 0-u16max[u] |
| USER_DATA | 0 | dom->member_cnt | 0-u16max[u] |
| USER_DATA | 0 | dom->up_map | 0-u64max[u] |
| USER_PTR | 0 | dom | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | &node->lock |
net/tipc/monitor.c tipc_mon_rcv() -> dom_rec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dom | 4096-ptr_max |
| DATA_SOURCE | 0 | dom | $1 |
| PARAM_COMPARE | 0 | dom->member_cnt | == $1 |
| PARAM_COMPARE | 1 | mcnt | == $0->member_cnt |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dom->ack_gen | 0-u16max[u] |
| USER_DATA | 0 | dom->gen | 0-u16max[u] |
| USER_DATA | 0 | dom->len | 0-u16max[u] |
| USER_DATA | 0 | dom->member_cnt | 0-u16max[u] |
| USER_DATA | 0 | dom->up_map | 0-u64max[u] |
| USER_DATA | 1 | mcnt | 0-u16max[u] |
| USER_PTR | 0 | dom | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/monitor.c tipc_mon_rcv() -> dom_rec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dom | 4096-ptr_max |
| PARAM_VALUE | 1 | mcnt | 0 |
| DATA_SOURCE | 0 | dom | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dom->ack_gen | 0-u16max[u] |
| USER_DATA | 0 | dom->gen | 0-u16max[u] |
| USER_DATA | 0 | dom->len | 0-u16max[u] |
| USER_DATA | 0 | dom->member_cnt | 0-u16max[u] |
| USER_DATA | 0 | dom->up_map | 0-u64max[u] |
| USER_PTR | 0 | dom | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/monitor.c tipc_mon_rcv() -> dom_rec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dom | 4096-ptr_max |
| PARAM_VALUE | 1 | mcnt | 0-64 |
| DATA_SOURCE | 0 | dom | $1 |
| PARAM_COMPARE | 0 | dom->member_cnt | == $1 |
| PARAM_COMPARE | 1 | mcnt | == $0->member_cnt |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dom->ack_gen | 0-u16max[u] |
| USER_DATA | 0 | dom->gen | 0-u16max[u] |
| USER_DATA | 0 | dom->len | 0-u16max[u] |
| USER_DATA | 0 | dom->member_cnt | 0-u16max[u] |
| USER_DATA | 0 | dom->up_map | 0-u64max[u] |
| USER_DATA | 1 | mcnt | 0-64[u] |
| USER_PTR | 0 | dom | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |