Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/amt.c amt_act_src() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
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_igmpv2_report_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
CAPPED_DATA 0 amt->hash_buckets 1
CAPPED_DATA 0 amt->max_groups 1
DATA_SOURCE 0 amt $0
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_mcast_is_ex_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
DATA_SOURCE 0 amt $0
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_mcast_is_ex_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
DATA_SOURCE 0 amt $0
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_mcast_to_ex_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
DATA_SOURCE 0 amt $0
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_mcast_to_ex_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
DATA_SOURCE 0 amt $0
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_mldv1_report_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
CAPPED_DATA 0 amt->hash_buckets 1
CAPPED_DATA 0 amt->max_groups 1
DATA_SOURCE 0 amt $0
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_request_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
CAPPED_DATA 0 amt->hash_buckets 1
CAPPED_DATA 0 &amt->tunnel_list 1
DATA_SOURCE 0 amt $0
PARAM_COMPARE 0 amt->max_tunnels >= $0->nr_tunnels
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &amt->lock
TYPE_LOCK (struct amt_dev)->lock

drivers/net/amt.c amt_update_handler() -> amt_gmi()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
DATA_SOURCE 0 amt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read