Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amd/pds_core/fw.c pdsc_flash_component() -> pdsc_flash_component_chunk()

Type Parameter Key Value
PARAM_VALUE 0 pdsc 4096-ptr_max
PARAM_VALUE 1 dev 1-u64max
PARAM_VALUE 2 info 4096-ptr_max
PARAM_VALUE 3 info_sz 20-275
PARAM_VALUE 4 data 4096-ptr_max
PARAM_VALUE 5 copy_sz 1-4096
PARAM_VALUE 6 offset 0-4294967294
PARAM_VALUE 7 slot_id 0
PARAM_VALUE 8 comp 7265187458260652032
PARAM_VALUE 8 comp->status 0
BUF_SIZE 2 info 20-275
BUF_SIZE 2 info 20-275
CAPPED_DATA 0 pdsc->fw_components.num_components 1
CAPPED_DATA 5 copy_sz 1
CAPPED_DATA 6 offset 1
DATA_SOURCE 2 info r vzalloc_noprof
DATA_SOURCE 3 info_sz r size_add
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 info->version_str_len
UNITS 3 info_sz unit_byte
UNITS 4 data unit_byte
HALF_LOCKED2 &devlink->lock