Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/microcode/amd.c parse_container() -> verify_patch()

Type Parameter Key Value
PARAM_VALUE 0 *buf 0
PARAM_VALUE 1 buf_size 1-u64max
PARAM_VALUE 2 patch_size 2763833421494181888
DATA_SOURCE 1 buf_size $1
UNITS 0 buf unit_byte
UNITS 1 buf_size unit_byte

arch/x86/kernel/cpu/microcode/amd.c verify_and_add_patch() -> verify_patch()

Type Parameter Key Value
PARAM_VALUE 0 *buf 1
PARAM_VALUE 2 patch_size 1788929993758785536
PARAM_VALUE 2 *patch_size 0
DATA_SOURCE 0 buf $1
DATA_SOURCE 1 buf_size $2
DATA_SOURCE 2 patch_size $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 1 buf_size unit_byte
HALF_LOCKED2 &of->mutex