Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c alloc_debug_processing() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cpu_stats 4096-ptr_max
PARAM_VALUE 1 fmt 1639929191985471488
BUF_SIZE 1 fmt 25
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
STR_LEN 1 fmt 24
BIT_INFO 0 s->flags 0x1,0xffffffffffffffff
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c free_debug_processing() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 758494619754692608
BUF_SIZE 1 fmt 25
BUF_SIZE 2 $ (-1),1-s32max
BUF_SIZE 2 $ (-1),1-s32max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1)
STR_LEN 0 s (-1)
STR_LEN 1 fmt 24
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
UNITS 2 $ unit_byte
LOCK2 &n->list_lock
LOCK2 flags
TYPE_LOCK (struct kmem_cache_node)->list_lock

mm/slub.c on_freelist() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 2123925189573177344
BUF_SIZE 1 fmt 17
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
STR_LEN 0 s 16
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
LOCK2 &n->list_lock
LOCK2 flags
TYPE_LOCK (struct kmem_cache_node)->list_lock

mm/slub.c on_freelist() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 2123925189573177344
BUF_SIZE 1 fmt 17
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
STR_LEN 0 s 16
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
LOCK2 &n->list_lock
LOCK2 flags
TYPE_LOCK (struct kmem_cache_node)->list_lock

mm/slub.c on_freelist() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 757120207895584768
BUF_SIZE 1 fmt 27
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
STR_LEN 0 s 26
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
LOCK2 &n->list_lock
LOCK2 flags
TYPE_LOCK (struct kmem_cache_node)->list_lock

mm/slub.c on_freelist() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 4657228339142307840
BUF_SIZE 1 fmt 22
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
STR_LEN 0 s 21
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
LOCK2 &n->list_lock
LOCK2 flags
TYPE_LOCK (struct kmem_cache_node)->list_lock

mm/slub.c restore_bytes() -> slab_fix()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 4538622835579588608
PARAM_VALUE 2 $ 1320487299233984512,3055770453780000768,4852328996976459776,5294705792764030976,5810638714591338496,7486684814896181248,7598653467558670336,8375453591515926528
PARAM_VALUE 3 $ 1-u64max
PARAM_VALUE 5 $ 90,107,165,187,204
BUF_SIZE 1 fmt 28
BUF_SIZE 2 $ 7,11,13-16,18
BUF_SIZE 2 $ 7,11,13-16,18
CAPPED_DATA 5 $ 1
DATA_SOURCE 0 s $0
DATA_SOURCE 2 $ $1
DATA_SOURCE 3 $ $3
DATA_SOURCE 5 $ $2
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
STR_LEN 1 fmt 27
STR_LEN 2 $ (-1),12
STR_LEN 2 $ (-1),12
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
UNITS 3 $ unit_byte
UNITS 4 $ unit_byte