Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c slab_bug() -> __slab_bug()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 fmt 1129863318042374144,1501270241111175168,1756756662170144768,3368443722773561344,3716883260091547648,4306743785872056320,6856180038054629376,7308025645815009280
PARAM_VALUE 2 *argsp 1501270241111175168,1129863318042374144,4306743785872056320,3716883260091547648,7308025645815009280,3368443722773561344,6856180038054629376,1756756662170144768
BUF_SIZE 1 fmt 15,18,20,27,29,43,45
BUF_SIZE 1 fmt 15,18,20,27,29,43,45
BUF_SIZE 2 argsp 8
BUF_SIZE 2 argsp 8
DATA_SOURCE 0 s $0
DATA_SOURCE 1 fmt $1
STR_LEN 0 s (-1),1-8,10-12,14,16,19-20,26,31,39,44-45,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,19-20,26,31,39,44-45,88,255
STR_LEN 1 fmt (-1),42
STR_LEN 1 fmt (-1),42
STR_LEN 2 *argsp (-1),42
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *argsp 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 global &slab_mutex
HALF_LOCKED2 irq

mm/slub.c slab_err() -> __slab_bug()

Type Parameter Key Value
PARAM_VALUE 0 s 0,4096-ptr_max
PARAM_VALUE 1 fmt 4096-ptr_max
BUF_SIZE 1 fmt 18,20,22,24,28,30,44,51,54,59
BUF_SIZE 1 fmt 18,20,22,24,28,30,44,51,54,59
BUF_SIZE 2 argsp 8
BUF_SIZE 2 argsp 8
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 fmt $2
STR_LEN 0 s (-1),1-8,10-12,14,16,19-21,23,27,29,31,39,45,50,53,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,19-21,23,27,29,31,39,45,50,53,88,255
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *argsp 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags