Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/amt.c amt_lookup_act_srcs() -> amt_addr_equal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 208,4096-ptr_max |
| PARAM_VALUE | 1 | b | 785023418337693696 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &tunnel->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct amt_tunnel_list)->lock |
drivers/net/amt.c amt_lookup_group() -> amt_addr_equal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 8,4096-ptr_max |
| PARAM_VALUE | 1 | b | 2360254065676554240,3077432129779109888,3750111293672161280,3773533523437936640,7629439025944567808,9152713968503070720 |
| DATA_SOURCE | 1 | b | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &tunnel->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct amt_tunnel_list)->lock |
drivers/net/amt.c amt_lookup_group() -> amt_addr_equal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 24,4096-ptr_max |
| PARAM_VALUE | 1 | b | 1374157549344034816,4425490915382915072,5189269145237028864,6760764290415562752,6925879381529550848,7964153091433271296 |
| DATA_SOURCE | 1 | b | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &tunnel->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct amt_tunnel_list)->lock |
drivers/net/amt.c amt_lookup_src() -> amt_addr_equal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 438276644244111360,785023418337693696 |
| DATA_SOURCE | 1 | b | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &tunnel->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct amt_tunnel_list)->lock |