Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_semantics.c fib_select_path() -> fib_select_default()

Type Parameter Key Value
PARAM_VALUE 0 flp 4096-ptr_max
PARAM_VALUE 0 flp->__fl_common.flowic_oif 0
PARAM_VALUE 1 res 429988801965383680,4240960965415747584,7684502420953772032,7934135933787738112,8909405672440926208
PARAM_VALUE 1 res->fi 4096-ptr_max
PARAM_VALUE 1 res->fi->nh 0,4096-ptr_max
PARAM_VALUE 1 res->prefixlen 0
PARAM_VALUE 1 res->table 4096-ptr_max
PARAM_VALUE 1 res->table->tb_num_default 2-s32max
PARAM_VALUE 1 res->type 1
DATA_SOURCE 0 flp $2
DATA_SOURCE 1 res $1
FUZZY_MAX 1 res->table->tb_num_default 2
NOSPEC 0 flp->saddr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 flp->__fl_common.flowic_dscp 0,4-252[c]
USER_DATA 0 flp->__fl_common.flowic_proto 0-255
USER_DATA 0 flp->daddr 0-u32max
USER_DATA 0 flp->saddr 0-u32max
USER_DATA 0 flp->uli.ports.dport 0-u16max
USER_DATA 0 flp->uli.ports.sport 0-u16max[u]
HALF_LOCKED2 rcu_read