Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/xfrm4_policy.c xfrm4_fill_dst() -> rt_add_uncached_list()

Type Parameter Key Value
PARAM_VALUE 0 rt->rt_flags 0,268435456-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv4/route.c ip_route_input_slow() -> rt_add_uncached_list()

Type Parameter Key Value
PARAM_VALUE 0 rt 4096-ptr_max
PARAM_VALUE 0 rt->dst.callback_head.func 1-u64max
PARAM_VALUE 0 rt->dst.callback_head.next 0
PARAM_VALUE 0 rt->dst.lwtstate 0,4096-ptr_max
PARAM_VALUE 0 rt->dst.ops->pcpuc_entries.lock.dep_map->name 0-255
PARAM_VALUE 0 rt->dst.ops->pcpuc_entries.lock.owner (-1)
PARAM_VALUE 0 rt->dst.ops->pcpuc_entries.lock.owner_cpu u32max
PARAM_VALUE 0 rt->dst.output 2217534698156650496
PARAM_VALUE 0 rt->rt_flags 0,268435456,2147483648,2415919104
PARAM_VALUE 0 rt->rt_gw4 0
PARAM_VALUE 0 rt->rt_gw_family 0
PARAM_VALUE 0 rt->rt_iif 0
PARAM_VALUE 0 rt->rt_is_input 1
PARAM_VALUE 0 rt->rt_mtu_locked 0
PARAM_VALUE 0 rt->rt_pmtu 0
PARAM_VALUE 0 rt->rt_type 2-3,7
PARAM_VALUE 0 rt->rt_uses_gateway 0
DATA_SOURCE 0 rt r rt_dst_alloc
BIT_INFO 0 rt->rt_flags 0x0,0x90000000
BIT_INFO 0 rt->rt_type 0x2,0x7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
LOCK2 rcu_read

net/ipv4/route.c rt_cache_route() -> rt_add_uncached_list()

Type Parameter Key Value
PARAM_VALUE 0 rt 1-u64max
CAPPED_DATA 0 rt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

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

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,262144,536870912,537133056,2147483648,2147745792,2415919104,2416181248,2684354560,2684616704
PARAM_VALUE 0 rt->rt_gw_family 0,2,10
PARAM_VALUE 0 rt->rt_is_input 0-1
PARAM_VALUE 0 rt->rt_type 0-255
PARAM_VALUE 0 rt->rt_uses_gateway 0-1
DATA_SOURCE 0 rt $0
FUZZY_MAX 0 rt->rt_gw_family 2
FUZZY_MAX 0 rt->rt_uses_gateway 1
BIT_INFO 0 rt->dst.output 0x5102001000000,0xffffffffffffffff
NOSPEC 0 rt->rt_gw4
HARD_MAX 0 rt->rt_is_input 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rt->rt_gw4 0-u32max[c]
USER_DATA 0 rt->rt_iif s32min-(-1),1-s32max
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
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 rt 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_gw4 0
PARAM_VALUE 0 rt->rt_gw_family 0
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
DATA_SOURCE 0 rt $0
BIT_INFO 0 rt->dst.output 0x5102001000000,0x7fff7f3fbffff000
BIT_INFO 0 rt->rt_flags 0x0,0xb0000000
HARD_MAX 0 rt->rt_is_input 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rt->rt_iif s32min-(-1),1-s32max
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
LOCK2 rcu_read