Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/fib_rules.c fib_nl2rule() -> fib_rule_port_is_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->end 1-65534
PARAM_VALUE 0 range->start 1-65534
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 range->end 1-65534[c]
USER_DATA 0 range->start 1-65534[c]
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

net/core/fib_rules.c fib_nl2rule() -> fib_rule_port_is_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->end 1-65534
PARAM_VALUE 0 range->start 1-65534
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 range->end 1-65534[c]
USER_DATA 0 range->start 1-65534[c]
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

net/core/fib_rules.c fib_nl2rule_port_mask() -> fib_rule_port_is_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->end 1-65534
PARAM_VALUE 0 range->start 1-65534
CAPPED_DATA 0 range->end 1
CAPPED_DATA 0 range->start 1
DATA_SOURCE 0 range $1
PARAM_COMPARE 0 range->end >= $0->start
HARD_MAX 0 range->end 65534
HARD_MAX 0 range->start 65534
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 range->end 1-65534[c]
USER_DATA 0 range->start 1-65534[c]
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