Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amd/pds_core/dev.c pdsc_devcmd_with_data() -> __pdsc_devcmd_with_data()

Type Parameter Key Value
PARAM_VALUE 0 pdsc 4096-ptr_max
PARAM_VALUE 1 cmd 515688758074437632,5330992745474043904
PARAM_VALUE 1 cmd->finalize_update.opcode 0
PARAM_VALUE 1 cmd->finalize_update.ver 0
PARAM_VALUE 1 cmd->fw_control.opcode 0
PARAM_VALUE 1 cmd->fw_control.oper 0
PARAM_VALUE 1 cmd->fw_control.slot 0
PARAM_VALUE 1 cmd->fw_download.addr 0
PARAM_VALUE 1 cmd->fw_download.length 0
PARAM_VALUE 1 cmd->fw_download.offset 0
PARAM_VALUE 1 cmd->fw_download.opcode 0
PARAM_VALUE 1 cmd->get_component_info.data_len 0
PARAM_VALUE 1 cmd->get_component_info.data_pa 0
PARAM_VALUE 1 cmd->get_component_info.opcode 0
PARAM_VALUE 1 cmd->get_component_info.ver 0
PARAM_VALUE 1 cmd->host_mem.buf_pa 0
PARAM_VALUE 1 cmd->host_mem.index 0
PARAM_VALUE 1 cmd->host_mem.max_contig 0
PARAM_VALUE 1 cmd->host_mem.opcode 0
PARAM_VALUE 1 cmd->host_mem.oper 0
PARAM_VALUE 1 cmd->host_mem.reason 0
PARAM_VALUE 1 cmd->host_mem.rsvd 0
PARAM_VALUE 1 cmd->host_mem.size 0
PARAM_VALUE 1 cmd->host_mem.tag 0
PARAM_VALUE 1 cmd->identify.opcode 0
PARAM_VALUE 1 cmd->identify.ver 0
PARAM_VALUE 1 cmd->init.opcode 0
PARAM_VALUE 1 cmd->match_record_desc.opcode 0,11
PARAM_VALUE 1 cmd->match_record_desc.type 0-255,259-u16max
PARAM_VALUE 1 cmd->match_record_desc.ver 0-1
PARAM_VALUE 1 cmd->opcode 0
PARAM_VALUE 1 cmd->reset.opcode 0
PARAM_VALUE 1 cmd->send_component.data_len 0
PARAM_VALUE 1 cmd->send_component.data_pa 0
PARAM_VALUE 1 cmd->send_component.offset 0
PARAM_VALUE 1 cmd->send_component.opcode 0
PARAM_VALUE 1 cmd->send_component.operation 0
PARAM_VALUE 1 cmd->send_component.slot_id 0
PARAM_VALUE 1 cmd->send_component.ver 0
PARAM_VALUE 1 cmd->send_component_tbl.opcode 0,8
PARAM_VALUE 1 cmd->send_component_tbl.rsvd 0
PARAM_VALUE 1 cmd->send_component_tbl.slot_id 0
PARAM_VALUE 1 cmd->send_component_tbl.ver 0-1
PARAM_VALUE 1 cmd->send_pkg_data.data_len 0
PARAM_VALUE 1 cmd->send_pkg_data.data_pa 0
PARAM_VALUE 1 cmd->send_pkg_data.offset 0
PARAM_VALUE 1 cmd->send_pkg_data.opcode 0
PARAM_VALUE 1 cmd->send_pkg_data.total_len 0
PARAM_VALUE 1 cmd->send_pkg_data.ver 0
PARAM_VALUE 1 cmd->vf_ctrl.ctrl_opcode 0
PARAM_VALUE 1 cmd->vf_ctrl.opcode 0
PARAM_VALUE 1 cmd->vf_ctrl.vf_index 0
PARAM_VALUE 1 cmd->vf_getattr.attr 0
PARAM_VALUE 1 cmd->vf_getattr.opcode 0
PARAM_VALUE 1 cmd->vf_getattr.vf_index 0
PARAM_VALUE 1 cmd->vf_setattr.attr 0
PARAM_VALUE 1 cmd->vf_setattr.linkstate 0
PARAM_VALUE 1 cmd->vf_setattr.maxrate 0
PARAM_VALUE 1 cmd->vf_setattr.opcode 0
PARAM_VALUE 1 cmd->vf_setattr.spoofchk 0
PARAM_VALUE 1 cmd->vf_setattr.stats.len 0
PARAM_VALUE 1 cmd->vf_setattr.stats.pa 0
PARAM_VALUE 1 cmd->vf_setattr.trust 0
PARAM_VALUE 1 cmd->vf_setattr.vf_index 0
PARAM_VALUE 1 cmd->vf_setattr.vlanid 0
PARAM_VALUE 3 data_len 1-u16max
PARAM_VALUE 4 comp 2650163348578844672,8745355127983202304
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 6 do_msg 1
BUF_SIZE 2 data (-1),12-267
BUF_SIZE 2 data (-1),12-267
DATA_SOURCE 0 pdsc $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 data $2
DATA_SOURCE 3 data_len $3
DATA_SOURCE 4 comp $4
DATA_SOURCE 5 max_seconds $5
HARD_MAX 1 cmd->match_record_desc.opcode 11
HARD_MAX 1 cmd->match_record_desc.ver 1
HARD_MAX 1 cmd->send_component_tbl.opcode 8
HARD_MAX 1 cmd->send_component_tbl.ver 1
TASK_NOT_RUNNING
UNITS 3 data_len unit_byte
BYTE_COUNT 2 ==data3 8050

drivers/net/ethernet/amd/pds_core/dev.c pdsc_devcmd_with_data_nomsg() -> __pdsc_devcmd_with_data()

Type Parameter Key Value
PARAM_VALUE 1 cmd 3967671552067653632
PARAM_VALUE 1 cmd->finalize_update.opcode 0
PARAM_VALUE 1 cmd->finalize_update.ver 0
PARAM_VALUE 1 cmd->fw_control.opcode 0
PARAM_VALUE 1 cmd->fw_control.oper 0
PARAM_VALUE 1 cmd->fw_control.slot 0
PARAM_VALUE 1 cmd->fw_download.addr 0
PARAM_VALUE 1 cmd->fw_download.length 0
PARAM_VALUE 1 cmd->fw_download.offset 0
PARAM_VALUE 1 cmd->fw_download.opcode 0
PARAM_VALUE 1 cmd->get_component_info.data_len 0
PARAM_VALUE 1 cmd->get_component_info.data_pa 0
PARAM_VALUE 1 cmd->get_component_info.opcode 0
PARAM_VALUE 1 cmd->get_component_info.ver 0
PARAM_VALUE 1 cmd->host_mem.buf_pa 0
PARAM_VALUE 1 cmd->host_mem.index 0
PARAM_VALUE 1 cmd->host_mem.max_contig 0
PARAM_VALUE 1 cmd->host_mem.opcode 0
PARAM_VALUE 1 cmd->host_mem.oper 0
PARAM_VALUE 1 cmd->host_mem.reason 0
PARAM_VALUE 1 cmd->host_mem.rsvd 0
PARAM_VALUE 1 cmd->host_mem.size 0
PARAM_VALUE 1 cmd->host_mem.tag 0
PARAM_VALUE 1 cmd->identify.opcode 0
PARAM_VALUE 1 cmd->identify.ver 0
PARAM_VALUE 1 cmd->init.opcode 0
PARAM_VALUE 1 cmd->match_record_desc.opcode 0
PARAM_VALUE 1 cmd->match_record_desc.size 0
PARAM_VALUE 1 cmd->match_record_desc.type 0
PARAM_VALUE 1 cmd->match_record_desc.ver 0
PARAM_VALUE 1 cmd->opcode 0
PARAM_VALUE 1 cmd->reset.opcode 0
PARAM_VALUE 1 cmd->send_component.data_pa 0-18446744073709551614
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 1 cmd->send_component_tbl.opcode 0
PARAM_VALUE 1 cmd->send_component_tbl.rsvd 0
PARAM_VALUE 1 cmd->send_component_tbl.slot_id 0
PARAM_VALUE 1 cmd->send_component_tbl.ver 0
PARAM_VALUE 1 cmd->send_pkg_data.data_len 0
PARAM_VALUE 1 cmd->send_pkg_data.data_pa 0
PARAM_VALUE 1 cmd->send_pkg_data.offset 0
PARAM_VALUE 1 cmd->send_pkg_data.opcode 0
PARAM_VALUE 1 cmd->send_pkg_data.total_len 0
PARAM_VALUE 1 cmd->send_pkg_data.ver 0
PARAM_VALUE 1 cmd->vf_ctrl.ctrl_opcode 0
PARAM_VALUE 1 cmd->vf_ctrl.opcode 0
PARAM_VALUE 1 cmd->vf_ctrl.vf_index 0
PARAM_VALUE 1 cmd->vf_getattr.attr 0
PARAM_VALUE 1 cmd->vf_getattr.opcode 0
PARAM_VALUE 1 cmd->vf_getattr.vf_index 0
PARAM_VALUE 1 cmd->vf_setattr.attr 0
PARAM_VALUE 1 cmd->vf_setattr.linkstate 0
PARAM_VALUE 1 cmd->vf_setattr.maxrate 0
PARAM_VALUE 1 cmd->vf_setattr.opcode 0
PARAM_VALUE 1 cmd->vf_setattr.spoofchk 0
PARAM_VALUE 1 cmd->vf_setattr.stats.len 0
PARAM_VALUE 1 cmd->vf_setattr.stats.pa 0
PARAM_VALUE 1 cmd->vf_setattr.trust 0
PARAM_VALUE 1 cmd->vf_setattr.vf_index 0
PARAM_VALUE 1 cmd->vf_setattr.vlanid 0
PARAM_VALUE 5 max_seconds 60
PARAM_VALUE 6 do_msg 0
DATA_SOURCE 0 pdsc $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 data $2
DATA_SOURCE 3 data_len $3
DATA_SOURCE 4 comp $4
DATA_SOURCE 5 max_seconds $5