Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/route.c rt_set_nexthop() -> rt_bind_exception()

Type Parameter Key Value
PARAM_VALUE 0 rt 4096-ptr_max
PARAM_VALUE 0 rt->dst.lwtstate 0,4096-ptr_max
PARAM_VALUE 0 rt->dst.output 1681878067841851392,3309956784800464896,7099098218899050496
PARAM_VALUE 0 rt->rt_flags 0,536870912,2147483648,2415919104,2684354560
PARAM_VALUE 0 rt->rt_is_input 0-1
PARAM_VALUE 0 rt->rt_mtu_locked 0
PARAM_VALUE 0 rt->rt_pmtu 0
PARAM_VALUE 0 rt->rt_type 0-255
PARAM_VALUE 0 rt->rt_uses_gateway 0-1
PARAM_VALUE 1 fnhe 4096-ptr_max
CAPPED_DATA 2 daddr 1
DATA_SOURCE 0 rt $0
DATA_SOURCE 1 fnhe $3
DATA_SOURCE 2 daddr $1
DATA_SOURCE 3 do_cache $7
FUZZY_MAX 0 rt->rt_uses_gateway 1
BIT_INFO 0 rt->dst.output 0x5102001000000,0x7fff7f3fbffff000
BIT_INFO 0 rt->rt_flags 0x0,0xb0000000
NOSPEC 2 daddr
NOSPEC 2 daddr
HARD_MAX 0 rt->rt_is_input 1
HARD_MAX 0 rt->rt_uses_gateway 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rt->rt_iif s32min-(-1),1-s32max
USER_DATA 2 daddr 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 rt->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 rt->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 rt->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 0 rt->dev->stats.tx_bytes
UNITS 2 daddr unit_byte
LOCK2 rcu_read