Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/defxx.c dfx_adap_init() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_reg.lword 0
PARAM_VALUE 0 bp->cmd_rsp_reg.lword 0
PARAM_VALUE 0 bp->rcv_xmt_reg.lword 0
PARAM_VALUE 0 bp->reset_type 0,4
PARAM_VALUE 1 command 1
PARAM_VALUE 2 data_a 2
PARAM_VALUE 4 host_data 0
DATA_SOURCE 0 bp $0
HARD_MAX 0 bp->reset_type 4
MEM_ZERO 0 bp->cons_block_virt
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_adap_init() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_reg.lword 0
PARAM_VALUE 0 bp->cmd_rsp_reg.lword 0
PARAM_VALUE 0 bp->rcv_xmt_reg.lword 0
PARAM_VALUE 0 bp->reset_type 0,4
PARAM_VALUE 1 command 64
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 0
DATA_SOURCE 0 bp $0
HARD_MAX 0 bp->reset_type 4
MEM_ZERO 0 bp->cons_block_virt
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_adap_init() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cmd_req_reg.lword 0
PARAM_VALUE 0 bp->cmd_rsp_reg.lword 0
PARAM_VALUE 0 bp->rcv_xmt_reg.lword 0
PARAM_VALUE 0 bp->reset_type 0,4
PARAM_VALUE 1 command 256
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 0
DATA_SOURCE 0 bp $0
HARD_MAX 0 bp->reset_type 4
MEM_ZERO 0 bp->cons_block_virt
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_bus_config_check() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->burst_size 2
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->base_addr 0
PARAM_VALUE 0 bp->dev->netdev_ops 3090375069244387328
PARAM_VALUE 0 bp->full_duplex_enb 2
PARAM_VALUE 0 bp->rcv_bufs_to_post 8
PARAM_VALUE 0 bp->req_ttrt 100000
PARAM_VALUE 1 command 1
PARAM_VALUE 2 data_a 4
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 847920494213009408
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/fddi/defxx.c dfx_driver_init() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->burst_size 2
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->base_addr 0
PARAM_VALUE 0 bp->dev->netdev_ops 3090375069244387328
PARAM_VALUE 0 bp->full_duplex_enb 2
PARAM_VALUE 0 bp->rcv_bufs_to_post 8
PARAM_VALUE 0 bp->req_ttrt 100000
PARAM_VALUE 1 command 8
PARAM_VALUE 2 data_a 0
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 313820640562601984
RX_PATH
TASK_NOT_RUNNING

drivers/net/fddi/defxx.c dfx_driver_init() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->burst_size 2
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->base_addr 0
PARAM_VALUE 0 bp->dev->netdev_ops 3090375069244387328
PARAM_VALUE 0 bp->factory_mac_addr 4096-ptr_max
PARAM_VALUE 0 bp->full_duplex_enb 2
PARAM_VALUE 0 bp->rcv_bufs_to_post 8
PARAM_VALUE 0 bp->req_ttrt 100000
PARAM_VALUE 1 command 8
PARAM_VALUE 2 data_a 1
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 313820640562601984
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 *host_data 0-u32max

drivers/net/fddi/defxx.c dfx_int_type_0_process() -> dfx_hw_port_ctrl_req()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cons_block_virt 4096-ptr_max
PARAM_VALUE 0 bp->link_available 0
PARAM_VALUE 1 command 512
PARAM_VALUE 2 data_a 0
PARAM_VALUE 3 data_b 0
PARAM_VALUE 4 host_data 0
CAPPED_DATA 0 bp->rcv_xmt_reg.index.xmt_prod 1
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock