Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fddi/defxx.c dfx_hw_adap_state_rd() -> dfx_port_read_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 20
PARAM_VALUE 2 data 816781448771059712
DATA_SOURCE 0 bp $0
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_read_long()

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

drivers/net/fddi/defxx.c dfx_hw_port_ctrl_req() -> dfx_port_read_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 4
PARAM_VALUE 2 data 313820640562601984,847920494213009408
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 data $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 *data 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 20
PARAM_VALUE 2 data 8544856518611771392
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_pr_halt_id() -> dfx_port_read_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 20
PARAM_VALUE 2 data 8135183858113720320
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_read_long()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 offset 24
PARAM_VALUE 2 data 5259683935696982016
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
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_read_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 5567589889072263168
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/fddi/defxx.c dfx_interrupt() -> dfx_port_read_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 20
PARAM_VALUE 2 data 5567589889072263168
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags