Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/openvswitch/flow_netlink.c __ovs_nla_copy_actions() -> validate_set()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->nla_len 4-u16max
PARAM_VALUE 1 flow_key 4096-ptr_max
PARAM_VALUE 2 sfa 4096-ptr_max
PARAM_VALUE 2 *sfa 4096-ptr_max
PARAM_VALUE 3 skip_copy 7332000828717424640
PARAM_VALUE 3 *skip_copy 0
PARAM_VALUE 6 masked 0
CAPPED_DATA 0 a->nla_len 1
DATA_SOURCE 1 flow_key $2
DATA_SOURCE 2 sfa $3
DATA_SOURCE 5 eth_type $4 [m]
DATA_SOURCE 7 log $7
NOSPEC 0 a->nla_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a->nla_len 4-u16max[c]
USER_DATA 0 a->nla_type 0-u16max
USER_DATA 1 flow_key->eth.cvlan.tci 0-u16max
USER_DATA 1 flow_key->eth.cvlan.tpid 0-u16max[u]
USER_DATA 1 flow_key->eth.vlan.tci 0-u16max
USER_DATA 1 flow_key->eth.vlan.tpid 0-u16max[u]
USER_DATA 5 eth_type 34887-34888
UNITS 5 eth_type unit_byte
USER_PTR 0 a

net/openvswitch/flow_netlink.c __ovs_nla_copy_actions() -> validate_set()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->nla_len 4-u16max
PARAM_VALUE 1 flow_key 4096-ptr_max
PARAM_VALUE 2 sfa 4096-ptr_max
PARAM_VALUE 2 *sfa 4096-ptr_max
PARAM_VALUE 3 skip_copy 7332000828717424640
PARAM_VALUE 3 *skip_copy 0
PARAM_VALUE 6 masked 1
CAPPED_DATA 0 a->nla_len 1
DATA_SOURCE 1 flow_key $2
DATA_SOURCE 2 sfa $3
DATA_SOURCE 5 eth_type $4 [m]
DATA_SOURCE 7 log $7
NOSPEC 0 a->nla_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a->nla_len 4-u16max[c]
USER_DATA 0 a->nla_type 0-u16max
USER_DATA 1 flow_key->eth.cvlan.tci 0-u16max
USER_DATA 1 flow_key->eth.cvlan.tpid 0-u16max[u]
USER_DATA 1 flow_key->eth.vlan.tci 0-u16max
USER_DATA 1 flow_key->eth.vlan.tpid 0-u16max[u]
USER_DATA 5 eth_type 34887-34888
UNITS 5 eth_type unit_byte
USER_PTR 0 a