Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/name_table.c tipc_nametbl_lookup_anycast() -> service_range_match_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | n | 8,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &sc->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_service)->lock |
net/tipc/name_table.c tipc_nametbl_lookup_mcast_nodes() -> service_range_match_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | n | 8,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-u32max[c] |
| USER_DATA | 2 | end | 0-u32max[u] |
| LOCK2 | &sc->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct tipc_service)->lock |
net/tipc/name_table.c tipc_nametbl_lookup_mcast_sockets() -> service_range_match_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | n | 8,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-u32max[c] |
| USER_DATA | 2 | end | 0-u32max |
| LOCK2 | &sc->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_service)->lock |
net/tipc/name_table.c tipc_service_find_range() -> service_range_match_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | n | 8,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | end | |
| NOSPEC | 2 | end | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-u32max[c] |
| USER_DATA | 2 | end | 0-u32max |
| LOCK2 | &sc->lock | ||
| LOCK2 | &tn->nametbl_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct tipc_net)->nametbl_lock | ||
| TYPE_LOCK | (struct tipc_service)->lock |
net/tipc/name_table.c tipc_service_subscribe() -> service_range_match_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | n | 8,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &service->lock | ||
| LOCK2 | &tn->nametbl_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct tipc_net)->nametbl_lock | ||
| TYPE_LOCK | (struct tipc_service)->lock |