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 |