Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/netdevsim/fib.c nsim_fib6_rt_insert() -> nsim_fib6_rt_replace()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->fail_route_offload 0
PARAM_VALUE 0 data->fib_rt_ht.p.hashfn 4096-ptr_max
PARAM_VALUE 0 data->fib_rt_list.next 4096-ptr_max
PARAM_VALUE 0 data->fib_rt_list.next->next 4096-ptr_max
PARAM_VALUE 0 data->fib_rt_list.next->prev 4096-ptr_max
PARAM_VALUE 1 fib6_rt 4096-ptr_max
PARAM_VALUE 1 fib6_rt->common->key.addr 0-255
PARAM_VALUE 1 fib6_rt->common.key.family 10
PARAM_VALUE 1 fib6_rt->common.list.next 4096-ptr_max
PARAM_VALUE 1 fib6_rt->common.list.prev 4096-ptr_max
PARAM_VALUE 1 fib6_rt->nh_list.next 4096-ptr_max
PARAM_VALUE 1 fib6_rt->nh_list.next->next 4096-ptr_max
PARAM_VALUE 1 fib6_rt->nh_list.prev 4096-ptr_max
PARAM_VALUE 1 fib6_rt->nh_list.prev->next 4096-ptr_max
PARAM_VALUE 1 fib6_rt->nh_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 fib6_rt_old 4096-ptr_max
BUF_SIZE 1 fib6_rt 80
DATA_SOURCE 0 data $0
DATA_SOURCE 1 fib6_rt r nsim_fib6_rt_create
DATA_SOURCE 2 fib6_rt_old r nsim_fib6_rt_lookup
LOCK2 &data->fib_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nsim_fib_data)->fib_lock