Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 0
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 24
PARAM_VALUE 2 data 255
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 3221225503
CAPPED_DATA 0 bp->cons_block_virt->cmd_req 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_rsp 1
CAPPED_DATA 0 bp->mc_count 1
CAPPED_DATA 0 bp->uc_count 1
DATA_SOURCE 0 bp $0
MEM_ZERO 0 bp->cmd_req_virt
MEM_ZERO 0 bp->cons_block_virt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_bus_init() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 64
PARAM_VALUE 2 data 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_bus_uninit() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 64
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_close() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_adap_reset() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 12
PARAM_VALUE 2 data 0,4
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 data $1
HARD_MAX 2 data 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_adap_reset() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 1
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_adap_reset() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 0
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_dma_cmd_req() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 40
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_dma_cmd_req() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 44
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_dma_cmd_req() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 44
CAPPED_DATA 0 bp->cmd_req_reg.index.prod 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_req 1
DATA_SOURCE 0 bp $0
PARAM_COMPARE 0 bp->cmd_req_reg.index.prod == $0->cons_block_virt->cmd_req
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/fddi/defxx.c dfx_hw_dma_cmd_req() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 40
CAPPED_DATA 0 bp->cmd_req_reg.index.prod 1
CAPPED_DATA 0 bp->cmd_rsp_reg.index.prod 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_req 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_rsp 1
DATA_SOURCE 0 bp $0
PARAM_COMPARE 0 bp->cmd_req_reg.index.prod == $0->cons_block_virt->cmd_req
PARAM_COMPARE 0 bp->cmd_rsp_reg.index.prod == $0->cons_block_virt->cmd_rsp
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 12
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 data $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 16
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 data $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 8
PARAM_VALUE 2 data 32769,32776,32832,33024,33280
DATA_SOURCE 0 bp $0
FUZZY_MAX 2 data 33280
HARD_MAX 2 data 33280
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_int_common() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 36
CAPPED_DATA 0 bp->cons_block_virt->xmt_rcv_data.index.xmt_cons 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct DFX_board_tag)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 24
CAPPED_DATA 0 bp->cons_block_virt->xmt_rcv_data.index.xmt_cons 1
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
LOCK2 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 0
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 0
DATA_SOURCE 0 bp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

drivers/net/fddi/defxx.c dfx_interrupt() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 64
PARAM_VALUE 2 data 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

drivers/net/fddi/defxx.c dfx_interrupt() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 68
PARAM_VALUE 2 data 16
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

drivers/net/fddi/defxx.c dfx_interrupt() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->bus_dev 4096-ptr_max
PARAM_VALUE 1 offset 64
PARAM_VALUE 2 data 5
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct DFX_board_tag)->lock

drivers/net/fddi/defxx.c dfx_rcv_init() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 36
PARAM_VALUE 2 data 0
CAPPED_DATA 0 bp->cons_block_virt->cmd_req 1
CAPPED_DATA 0 bp->cons_block_virt->cmd_rsp 1
CAPPED_DATA 0 bp->mc_count 1
CAPPED_DATA 0 bp->uc_count 1
DATA_SOURCE 0 bp $0
MEM_ZERO 0 bp->cmd_req_virt
MEM_ZERO 0 bp->cons_block_virt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->lock

drivers/net/fddi/defxx.c dfx_xmt_queue_pkt() -> dfx_port_write_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 36
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &bp->lock
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct DFX_board_tag)->lock