Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/openvswitch/flow.c key_extract() -> clear_vlan()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 key->eth.cvlan.tci 0-u16max
USER_DATA 0 key->eth.cvlan.tpid 0-u16max[u]
USER_DATA 0 key->eth.vlan.tci 0-u16max
USER_DATA 0 key->eth.vlan.tpid 0-u16max
USER_DATA 0 key->ip.proto 0-255
USER_DATA 0 key->ip.tos 0-255
USER_DATA 0 key->ip.ttl 0-255
USER_DATA 0 key->ipv4.addr.dst 0-u32max[c]
USER_DATA 0 key->ipv4.addr.src 0-u32max[c]
USER_DATA 0 key->tp.dst 0-u16max
USER_DATA 0 key->tp.src 0-u16max
HALF_LOCKED2 rcu_read