Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_ipv4.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/ipv4/tcp_ipv4.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 0-63 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/6lowpan/iphc.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a1 | 5300343294640345096 |
| PARAM_VALUE | 2 | len | 0-191 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a1 | 5300343294640345088 |
| PARAM_VALUE | 1 | a2 | 4096-ptr_max |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/sit.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
net/ipv6/sit.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | a2 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-63 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
net/smc/smc_clc.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 0-191 |
| CAPPED_DATA | 2 | len | 1 |
| LOCK2 | &new_smc->sk | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | global &smc_server_lgr_pending | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct smc_sock)->sk |
net/smc/smc_clc.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a1 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-63 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| LOCK2 | &new_smc->sk | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | global &smc_server_lgr_pending | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct smc_sock)->sk |
net/ipv6/addrlabel.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *a1 | 0-u64max |
| USER_PTR | 0 | a1 | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &rx_queue_mutex |
net/ipv6/addrlabel.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | a2 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-63 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *a1 | 0-u64max[u] |
| USER_PTR | 0 | a1 | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &rx_queue_mutex |
net/ipv6/addrconf.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ifp->idev->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/addrconf.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | a2 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-63 |
| BUF_SIZE | 0 | a1 | (-1),16 |
| BUF_SIZE | 0 | a1 | (-1),16 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ifp->idev->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/fib6_rules.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/ipv6/fib6_rules.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a1 | 4096-ptr_max |
| PARAM_VALUE | 1 | a2 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-63 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/ipv4/tcp_ao.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 0-64 |
| HALF_LOCKED2 | sk |
net/ipv4/tcp_ao.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a1 | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-63 |
| BUF_SIZE | 1 | a2 | (-1),16 |
| BUF_SIZE | 1 | a2 | (-1),16 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 0-63 |
| HALF_LOCKED2 | sk |
net/ipv6/ip6_fib.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &table->tb6_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/ip6_fib.c ipv6_prefix_equal() -> __ipv6_prefix_equal64_half()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 0-63 |
| BUF_SIZE | 1 | a2 | (-1),16 |
| BUF_SIZE | 1 | a2 | (-1),16 |
| DATA_SOURCE | 0 | a1 | $0 |
| DATA_SOURCE | 1 | a2 | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 63 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &table->tb6_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |