Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amd/pds_core/fw.c pdsc_devcmd_send_component() -> pdsc_devcmd_with_data_nomsg()

Type Parameter Key Value
PARAM_VALUE 0 pdsc 4096-ptr_max
PARAM_VALUE 1 cmd 3967671552067653632
PARAM_VALUE 1 cmd->opcode 0
PARAM_VALUE 1 cmd->send_component.data_len 1-4096
PARAM_VALUE 1 cmd->send_component.data_pa 0-18446744073709551614
PARAM_VALUE 1 cmd->send_component.offset 0-4294967294
PARAM_VALUE 1 cmd->send_component.opcode 9
PARAM_VALUE 1 cmd->send_component.operation 0-1
PARAM_VALUE 1 cmd->send_component.ver 1
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 data_len 20-275
PARAM_VALUE 4 comp 7265187458260652032
PARAM_VALUE 4 comp->finalize_update.status 0
PARAM_VALUE 4 comp->finalize_update.ver 0
PARAM_VALUE 4 comp->fw_control.color 0
PARAM_VALUE 4 comp->fw_control.slot 0
PARAM_VALUE 4 comp->fw_control.status 0
PARAM_VALUE 4 comp->fw_download.status 0
PARAM_VALUE 4 comp->get_component_info.status 0
PARAM_VALUE 4 comp->get_component_info.ver 0
PARAM_VALUE 4 comp->host_mem.count 0
PARAM_VALUE 4 comp->host_mem.oper 0
PARAM_VALUE 4 comp->host_mem.size 0
PARAM_VALUE 4 comp->host_mem.status 0
PARAM_VALUE 4 comp->host_mem.tag 0
PARAM_VALUE 4 comp->identify.status 0
PARAM_VALUE 4 comp->identify.ver 0
PARAM_VALUE 4 comp->init.status 0
PARAM_VALUE 4 comp->match_record_desc.match 0
PARAM_VALUE 4 comp->match_record_desc.rsvd 0
PARAM_VALUE 4 comp->match_record_desc.status 0
PARAM_VALUE 4 comp->match_record_desc.ver 0
PARAM_VALUE 4 comp->reset.status 0
PARAM_VALUE 4 comp->send_component.compat_response 0
PARAM_VALUE 4 comp->send_component.completion_code 0
PARAM_VALUE 4 comp->send_component.status 0
PARAM_VALUE 4 comp->send_component.ver 0
PARAM_VALUE 4 comp->send_component_tbl.response 0
PARAM_VALUE 4 comp->send_component_tbl.response_code 0
PARAM_VALUE 4 comp->send_component_tbl.slot_id 0
PARAM_VALUE 4 comp->send_component_tbl.status 0
PARAM_VALUE 4 comp->send_component_tbl.ver 0
PARAM_VALUE 4 comp->send_pkg_data.status 0
PARAM_VALUE 4 comp->send_pkg_data.ver 0
PARAM_VALUE 4 comp->status 0
PARAM_VALUE 4 comp->vf_ctrl.status 0
PARAM_VALUE 4 comp->vf_getattr.attr 0
PARAM_VALUE 4 comp->vf_getattr.color 0
PARAM_VALUE 4 comp->vf_getattr.linkstate 0
PARAM_VALUE 4 comp->vf_getattr.maxrate 0
PARAM_VALUE 4 comp->vf_getattr.spoofchk 0
PARAM_VALUE 4 comp->vf_getattr.stats_pa 0
PARAM_VALUE 4 comp->vf_getattr.status 0
PARAM_VALUE 4 comp->vf_getattr.trust 0
PARAM_VALUE 4 comp->vf_getattr.vf_index 0
PARAM_VALUE 4 comp->vf_getattr.vlanid 0
PARAM_VALUE 4 comp->vf_setattr.attr 0
PARAM_VALUE 4 comp->vf_setattr.color 0
PARAM_VALUE 4 comp->vf_setattr.comp_index 0
PARAM_VALUE 4 comp->vf_setattr.status 0
PARAM_VALUE 4 comp->vf_setattr.vf_index 0
PARAM_VALUE 5 max_seconds 60
BUF_SIZE 2 data 20-275
CAPPED_DATA 0 pdsc->fw_components.num_components 1
DATA_SOURCE 0 pdsc $0
DATA_SOURCE 2 data $1
DATA_SOURCE 3 data_len $2
DATA_SOURCE 4 comp $7
UNITS 3 data_len unit_byte