Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/openvswitch/flow_netlink.c validate_and_copy_check_pkt_len() -> nla_parse_deprecated_strict()

Type Parameter Key Value
PARAM_VALUE 0 tb 1440913865994485760
PARAM_VALUE 1 maxtype 3
PARAM_VALUE 3 len 0-65531
PARAM_VALUE 4 policy 9149972116703608832
PARAM_VALUE 5 extack 0
BUF_SIZE 0 tb 32
BUF_SIZE 4 policy 64
CAPPED_DATA 3 len 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 head->nla_len 0-u16max
USER_DATA 2 head->nla_type 0-u16max
USER_DATA 3 len 0-65531[c]
USER_PTR 2 head

net/openvswitch/flow_netlink.c validate_userspace() -> nla_parse_deprecated_strict()

Type Parameter Key Value
PARAM_VALUE 0 tb 2715647451162738688
PARAM_VALUE 1 maxtype 4
PARAM_VALUE 3 len 0-65531
PARAM_VALUE 4 policy 4096-ptr_max
PARAM_VALUE 5 extack 0
BUF_SIZE 0 tb 40
BUF_SIZE 4 policy 80
CAPPED_DATA 3 len 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 head->nla_len 0-u16max
USER_DATA 2 head->nla_type 0-u16max
USER_DATA 3 len 0-65531[c]
USER_PTR 2 head