Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/nlattr.c nla_validate_range_unsigned() -> nla_get_range_unsigned()

Type Parameter Key Value
PARAM_VALUE 0 pt 4096-ptr_max
PARAM_VALUE 0 pt->type 1-4,7,11,18-19,21
PARAM_VALUE 0 pt->validation_type 1-4,6
PARAM_VALUE 1 range 2282576650072039424
DATA_SOURCE 0 pt $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/netlink/policy.c __netlink_policy_dump_write_attr() -> nla_get_range_unsigned()

Type Parameter Key Value
PARAM_VALUE 0 pt 4096-ptr_max
PARAM_VALUE 0 pt->type 1-4,7,21
PARAM_VALUE 0 pt->validation_type 0-4,6,8-255
PARAM_VALUE 1 range 1799913129834610688
DATA_SOURCE 0 pt $2
FUZZY_MAX 0 pt->type 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/netlink/policy.c __netlink_policy_dump_write_attr() -> nla_get_range_unsigned()

Type Parameter Key Value
PARAM_VALUE 0 pt 4096-ptr_max
PARAM_VALUE 0 pt->type 5,10-11
PARAM_VALUE 0 pt->validation_type 1-2
PARAM_VALUE 1 range 1799913129834610688
DATA_SOURCE 0 pt $2
FUZZY_MAX 0 pt->type 10
FUZZY_MAX 0 pt->validation_type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL