Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ipv6/inet6_hashtables.c inet6_hash_connect() -> __inet_hash_connect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | death_row | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_state | 2 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_tx_queue_mapping | u16max |
| PARAM_VALUE | 1 | sk->psp_assoc | 0-1 |
| PARAM_VALUE | 1 | sk->sk_dst_pending_confirm | 0 |
| PARAM_VALUE | 1 | sk->sk_gso_max_segs | 1-u16max |
| PARAM_VALUE | 1 | sk->sk_gso_type | 16 |
| PARAM_VALUE | 1 | sk->sk_txhash | 1-u32max |
| PARAM_VALUE | 4 | check_established | 8378143136304787456 |
| BUF_SIZE | 0 | death_row | 128 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 1 | sk->psp_assoc | 1 |
| DATA_SOURCE | 0 | death_row | $0 |
| DATA_SOURCE | 1 | sk | $1 |
| DATA_SOURCE | 3 | hash_port0 | r inet6_ehashfn |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| HALF_LOCKED2 | 1 | sk |
net/ipv4/inet_hashtables.c inet_hash_connect() -> __inet_hash_connect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | death_row | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.fib_main->tb_data->kv->key | 0-4294967295 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_rcv_saddr | 1-u32max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_state | 2 |
| PARAM_VALUE | 1 | sk->psp_assoc | 0-1 |
| PARAM_VALUE | 4 | check_established | 414206541883666432 |
| BUF_SIZE | 0 | death_row | 128 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 1 | sk->psp_assoc | 1 |
| DATA_SOURCE | 0 | death_row | $0 |
| DATA_SOURCE | 1 | sk | $1 |
| DATA_SOURCE | 3 | hash_port0 | r inet_ehashfn |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| HALF_LOCKED2 | 1 | sk |