Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __slab_free() -> slab_update_freelist()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 2 old 7685255224815501312
PARAM_VALUE 2 old->freelist_counters 0-9223372036854775807
PARAM_VALUE 3 new 5250330750487171072
PARAM_VALUE 4 n 252087534072193024
BUF_SIZE 4 n 12
DATA_SOURCE 0 s $0
DATA_SOURCE 1 slab $1
STR_LEN 0 s (-1)
STR_LEN 0 s (-1)
STR_LEN 1 slab 11
TERMINATED 4 n 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c __slab_try_return_freelist() -> slab_update_freelist()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 1 slab->freelist 0
PARAM_VALUE 2 old 8383031131090526208
PARAM_VALUE 2 old->freelist 0
PARAM_VALUE 3 new 4270668882664087552
PARAM_VALUE 4 n 2551875670842396672
BUF_SIZE 4 n 27
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 slab $1
STR_LEN 0 s 26
TERMINATED 4 n 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity

mm/slub.c get_freelist_nofreeze() -> slab_update_freelist()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 2 old 8057721590066991104
PARAM_VALUE 2 old->freelist_counters 0-9223372036854775807
PARAM_VALUE 3 new 1164042198752473088
PARAM_VALUE 3 new->freelist 0
PARAM_VALUE 3 new->inuse 0-s16max
PARAM_VALUE 4 n 4187491684190879744
BUF_SIZE 4 n 22
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 slab $1
STR_LEN 0 s 21
TERMINATED 4 n 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity