Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/route.c fib6_nh_del_cached_rt() -> ip6_del_cached_rt()

Type Parameter Key Value
PARAM_VALUE 2 nh 4096-ptr_max
DATA_SOURCE 2 nh $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv6/route.c ip6_route_del() -> ip6_del_cached_rt()

Type Parameter Key Value
PARAM_VALUE 0 cfg 4096-ptr_max
PARAM_VALUE 0 cfg->fc_flags 16777216-u32max
PARAM_VALUE 0 cfg->fc_nh_id 0
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 1 rt->nh 0
CAPPED_DATA 0 cfg->fc_dst_len 1
CAPPED_DATA 0 cfg->fc_src_len 1
CAPPED_DATA 0 cfg->fc_table 1
DATA_SOURCE 0 cfg $0
BIT_INFO 0 cfg->fc_flags 0x1000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->fc_flags 16777216-u32max[c][u]
USER_DATA 0 cfg->fc_ifindex s32min-(-1),1-s32max
USER_PTR 0 cfg->fc_mp
USER_PTR 0 cfg->fc_mx
LOCK2 rcu_read