Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/rds/tcp.c rds_tcp_destroy_conns() -> list_has_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 444261220921049088 |
| PARAM_VALUE | 0 | list->next | 444261220921049088 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | global &rds_tcp_conn_lock | ||
| LOCK2 | irq |
net/rds/tcp.c rds_tcp_kill_sock() -> list_has_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 5363101061072875520 |
| PARAM_VALUE | 0 | list->next | 5363101061072875520 |
| PARAM_VALUE | 1 | conn | 4096-ptr_max |
| CAPPED_DATA | 1 | conn->c_net.net | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rds_tcp_conn_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &pool->lock |