Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/klist.c klist_add_head() -> add_head()

Type Parameter Key Value
PARAM_VALUE 0 k 269654901860569088,576934384175435776,1562662058041688064,7622503939964665856
PARAM_VALUE 0 k->get 0,219889267673993216
PARAM_VALUE 0 k->k_list.next 4096-ptr_max
PARAM_VALUE 0 k->k_list.prev 4096-ptr_max
PARAM_VALUE 0 k->put 0
PARAM_VALUE 1 n 173979582975504384,971311415804485632,1344066638706360320,3483861725880406016,4431037969202106368,7346191339210850304,9025340232691585024
PARAM_VALUE 1 n->n_klist 269654901860569088,576934384175435776,1562662058041688064,7622503939964665856
PARAM_VALUE 1 n->n_ref.refcount.refs.counter 1
DATA_SOURCE 0 k $1
DATA_SOURCE 1 n $0
NOCHECK_CALL