Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/amt.c amt_igmpv3_report_handler() -> amt_mcast_block_handler()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
PARAM_VALUE 0 amt->mode 1-u32max
PARAM_VALUE 1 tunnel 4096-ptr_max
PARAM_VALUE 1 tunnel->amt 4096-ptr_max
PARAM_VALUE 1 tunnel->gc_wq.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 tunnel->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 gnode 4096-ptr_max
PARAM_VALUE 2 gnode->v6 0
PARAM_VALUE 3 grec 4096-ptr_max
PARAM_VALUE 4 zero_grec 3810242296726712320
PARAM_VALUE 5 v6 0
BUF_SIZE 2 gnode (-1),272-s32max
BUF_SIZE 2 gnode (-1),272-s32max
BUF_SIZE 4 zero_grec 8
BUF_SIZE 4 zero_grec 8
CAPPED_DATA 1 tunnel->ip4 1
CAPPED_DATA 1 tunnel->mac 1
CAPPED_DATA 1 tunnel->nonce 1
DATA_SOURCE 0 amt $0
DATA_SOURCE 1 tunnel $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 grec unit_byte
LOCK2 bh
LOCK2 rcu_read
LOCK2 1 &tunnel->lock
TYPE_LOCK (struct amt_tunnel_list)->lock

drivers/net/amt.c amt_mldv2_report_handler() -> amt_mcast_block_handler()

Type Parameter Key Value
PARAM_VALUE 0 amt 4096-ptr_max
PARAM_VALUE 0 amt->mode 1-u32max
PARAM_VALUE 1 tunnel 4096-ptr_max
PARAM_VALUE 1 tunnel->amt 4096-ptr_max
PARAM_VALUE 1 tunnel->gc_wq.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 tunnel->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 gnode 4096-ptr_max
PARAM_VALUE 2 gnode->v6 1
PARAM_VALUE 3 grec 4096-ptr_max
PARAM_VALUE 4 zero_grec 3385879767132327936
PARAM_VALUE 5 v6 1
BUF_SIZE 2 gnode (-1),272-s32max
BUF_SIZE 2 gnode (-1),272-s32max
BUF_SIZE 4 zero_grec 20
BUF_SIZE 4 zero_grec 20
CAPPED_DATA 1 tunnel->ip4 1
CAPPED_DATA 1 tunnel->mac 1
CAPPED_DATA 1 tunnel->nonce 1
DATA_SOURCE 0 amt $0
DATA_SOURCE 1 tunnel $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 grec unit_byte
LOCK2 bh
LOCK2 rcu_read
LOCK2 1 &tunnel->lock
TYPE_LOCK (struct amt_tunnel_list)->lock