Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 message 1320487299233984512,3055770453780000768,4852328996976459776,5294705792764030976,5810638714591338496,7486684814896181248,7598653467558670336
PARAM_VALUE 2 data 90,107,165,187,204
PARAM_VALUE 3 from 1-u64max
PARAM_VALUE 4 to 0-ptr_max
BUF_SIZE 1 message 7,11,13-16,18
BUF_SIZE 1 message 7,11,13-16,18
CAPPED_DATA 2 data 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 message $3
DATA_SOURCE 2 data $5
DATA_SOURCE 3 from r memchr_inv
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
TERMINATED 1 message 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 from unit_byte
UNITS 4 to unit_byte
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 message 8375453591515926528
PARAM_VALUE 2 data 90
PARAM_VALUE 3 from 1-u64max
BUF_SIZE 1 message 13
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 3 from r memchr_inv
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 message 12
BIT_INFO 0 s->flags 0x4,0xffffffffffffffff
TERMINATED 1 message 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity