Defined in 2 files as a variable:

Defined in 5 files as a member:

Defined in 1 files as a function:

Referenced in 65 files:

Smatch caller information:

net/ipv4/fib_trie.c halve() -> replace()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->kv->key 0-4294967295
PARAM_VALUE 1 oldtnode 4096-ptr_max
PARAM_VALUE 1 oldtnode->bits 2-64
PARAM_VALUE 2 tn 4096-ptr_max
PARAM_VALUE 2 tn->bits 1-63
PARAM_VALUE 2 tn->pos 1-255
PARAM_VALUE 2 tn->slen 1-255
BUF_SIZE 0 t (-1),24
BUF_SIZE 0 t (-1),24
BUF_SIZE 1 oldtnode (-1),16
BUF_SIZE 1 oldtnode (-1),16
BUF_SIZE 2 tn 16
CAPPED_DATA 2 tn->bits 1
DATA_SOURCE 0 t $0
DATA_SOURCE 1 oldtnode $1
DATA_SOURCE 2 tn r tnode_new
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ops->lock
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/fib_trie.c inflate() -> replace()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->kv->key 0-4294967295
PARAM_VALUE 1 oldtnode 4096-ptr_max
PARAM_VALUE 1 oldtnode->pos 1-255
PARAM_VALUE 2 tn 4096-ptr_max
PARAM_VALUE 2 tn->bits 1-255
PARAM_VALUE 2 tn->pos 0-254
BUF_SIZE 0 t (-1),24
BUF_SIZE 0 t (-1),24
BUF_SIZE 1 oldtnode (-1),16
BUF_SIZE 1 oldtnode (-1),16
BUF_SIZE 2 tn 16
CAPPED_DATA 1 oldtnode->pos 1
CAPPED_DATA 2 tn->bits 1
DATA_SOURCE 0 t $0
DATA_SOURCE 1 oldtnode $1
DATA_SOURCE 2 tn r tnode_new
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ops->lock
HALF_LOCKED2 global &rtnl_mutex