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

Smatch assignments to (struct v4l2_subscribed_event_ops)->replace:

drivers/media/v4l2-core/v4l2-ctrls-api.c (null)() -> (struct v4l2_subscribed_event_ops)->replace [4506388565631651840]

drivers/media/usb/uvc/uvc_ctrl.c (null)() -> (struct v4l2_subscribed_event_ops)->replace [4506388565631651840]

drivers/media/v4l2-core/v4l2-event.c (null)() -> (struct v4l2_subscribed_event_ops)->replace [3140912709008809984]