Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/ematch.c tcf_em_tree_validate() -> tcf_em_validate()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->chain->block->cb_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tp->chain->block->cb_lock.first_waiter->type 0-1
PARAM_VALUE 0 tp->chain->flushing 0
PARAM_VALUE 0 tp->data->hlist->divisor 0-4294967295
PARAM_VALUE 0 tp->data->hlist->flags 0-4294967295
PARAM_VALUE 0 tp->data->hlist->handle 0-4294967295
PARAM_VALUE 0 tp->data->hlist->handle_idr.idr_base 0-4294967295
PARAM_VALUE 0 tp->data->hlist->handle_idr.idr_next 0-4294967295
PARAM_VALUE 0 tp->data->hlist->handle_idr.idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 tp->data->hlist->is_root 0-1
PARAM_VALUE 0 tp->data->hlist->prio 0-4294967295
PARAM_VALUE 0 tp->data->hlist->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 tp->ops 4096-ptr_max
PARAM_VALUE 0 tp->ops->classify 4096-ptr_max
PARAM_VALUE 0 tp->ops->destroy 4096-ptr_max
PARAM_VALUE 0 tp->ops->get_exts 0,4096-ptr_max
PARAM_VALUE 0 tp->ops->owner 0,4096-ptr_max
PARAM_VALUE 0 tp->ops->reoffload 0,631035440261332992,2894995858785198080,6092317856774164480,6534152950415466496
PARAM_VALUE 0 tp->prio 0,65536-u32max
PARAM_VALUE 1 tree_hdr 4096-ptr_max
PARAM_VALUE 1 tree_hdr->nmatches 1-u16max
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->ops->change 0,4314923263874158592,5896564095135211520,7451038040219803648,7844125904211804160,7884412596978810880,9068206376095744000
PARAM_VALUE 2 em->ops->datalen s32min-65527
PARAM_VALUE 2 em->ops->kind 1-u16max
PARAM_VALUE 2 em->ops->owner 0,4096-ptr_max
PARAM_VALUE 3 nla 4096-ptr_max
PARAM_VALUE 3 nla->nla_len 4-u16max
PARAM_VALUE 4 idx 0-65534
CAPPED_DATA 3 nla->nla_len 1
CAPPED_DATA 3 nla->nla_type 1
CAPPED_DATA 4 idx 1
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 tree_hdr r nla_data
DATA_SOURCE 2 em r tcf_em_get_match
FUZZY_MAX 0 tp->prio 2147483648
PARAM_COMPARE 4 idx < $1->nmatches
NOSPEC 0 tp->chain->index
NOSPEC 0 tp->prio
NOSPEC 3 nla->nla_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tp->chain->index 0-268435455[c]
USER_DATA 0 tp->prio 65536-u32max[c]
USER_DATA 0 tp->protocol 1-u16max[c]
USER_DATA 1 tree_hdr->nmatches 1-u16max
USER_DATA 1 tree_hdr->progid 0-u16max
USER_DATA 3 nla->nla_len 4-u16max[c]
UNITS 4 idx unit_array_size
USER_PTR 1 tree_hdr
USER_PTR 3 nla
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