Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_frontend.c fib_unmerge() -> fib_replace_table()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 old 4096-ptr_max
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->tb_id 255
BUF_SIZE 2 new 48,72
BUF_SIZE 2 new 48,72
CAPPED_DATA 1 old->tb_id 1
CAPPED_DATA 2 new 1
CAPPED_DATA 2 new->__data 1
CAPPED_DATA 2 new->tb_data 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 old r fib_get_table
PARAM_COMPARE 1 old != $2
PARAM_COMPARE 1 old->__data != $1->tb_data
PARAM_COMPARE 2 new != $1
PARAM_COMPARE 2 new != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ops->lock
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct fib_rules_ops)->lock