Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bridge/br_vlan_options.c br_vlan_modify_state() -> br_vlan_set_state()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->port 4096-ptr_max
PARAM_VALUE 1 state 0-4
DATA_SOURCE 0 v $1
DATA_SOURCE 1 state $2
FUZZY_MAX 1 state 4
PARAM_COMPARE 1 state != $0->state
HARD_MAX 1 state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/bridge/br_mst.c br_mst_vlan_set_state() -> br_vlan_set_state()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
CAPPED_DATA 0 v 1
DATA_SOURCE 0 v $1
DATA_SOURCE 1 state $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read