Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/boot/compressed/string.c memcpy() -> ____memcpy()

Type Parameter Key Value
BUF_SIZE 1 src (-1),8
BUF_SIZE 1 src (-1),8
CAPPED_DATA 0 dest 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 n $2
UNITS 0 dest unit_byte
UNITS 1 src unit_byte
UNITS 2 n unit_byte

arch/x86/boot/compressed/string.c memmove() -> ____memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 4,8-4000000
BUF_SIZE 1 src (-1),8
BUF_SIZE 1 src (-1),8
CAPPED_DATA 1 src 1
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 n $2
FUZZY_MAX 2 n 8
PARAM_COMPARE 0 dest >= $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dest unit_byte
UNITS 1 src unit_byte
UNITS 2 n unit_byte
BYTE_COUNT 0 ==dest2 8050