Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/ematch.c tcf_em_validate() -> (struct tcf_ematch_ops)->change()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len (-8)-65523
PARAM_VALUE 3 m 4096-ptr_max
PARAM_VALUE 3 m->ops 4096-ptr_max
PARAM_VALUE 3 m->ops->change 1-u64max
PARAM_VALUE 3 m->ops->datalen s32min-65523
PARAM_VALUE 3 m->ops->owner 0,4096-ptr_max
PARAM_VALUE 3 m->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 3 m->ops->owner->state 0-1,3-u32max
CAPPED_DATA 2 len 1
CAPPED_DATA 3 m->ops->datalen 1
CAPPED_DATA 3 m->ops->kind 1
DATA_SOURCE 3 m $2
CONTAINER 3 -8-0+0 $(-1)
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 0-65523[c]
USER_PTR 1 data
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