Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/verbs.c hfi1_verbs_send_pio() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 1 pbuf 4096-ptr_max
PARAM_VALUE 1 pbuf->arg 4096-ptr_max
PARAM_VALUE 1 pbuf->carry.val64 0
PARAM_VALUE 1 pbuf->carry_bytes 0
PARAM_VALUE 1 pbuf->cb 0,5384937314172518400
PARAM_VALUE 1 pbuf->end 4096-ptr_max
PARAM_VALUE 1 pbuf->qw_written 0
PARAM_VALUE 1 pbuf->sc 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->buffers_allocated 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->flags 1-u16max
PARAM_VALUE 1 pbuf->sc->sr 4096-ptr_max
PARAM_VALUE 1 pbuf->start 4096-ptr_max
PARAM_VALUE 2 pbc 0-281475513581567
PARAM_VALUE 3 from 4096-ptr_max
PARAM_VALUE 4 count 0-u16max
BUF_SIZE 1 pbuf 64
BUF_SIZE 3 from 96
CAPPED_DATA 1 pbuf->sc->credits 1
DATA_SOURCE 1 pbuf r sc_buffer_alloc
DATA_SOURCE 2 pbc $2 [m]
BIT_INFO 1 pbuf->cb 0x0,0x4abb23f4e4ffc000
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/qp.c t4_ring_rq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
DATA_SOURCE 1 pbuf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &qhp->lock
LOCK2 flag
HALF_LOCKED2 &rdma->rq_sem
TYPE_LOCK (struct c4iw_qp)->lock

drivers/infiniband/hw/cxgb4/qp.c t4_ring_sq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
DATA_SOURCE 1 pbuf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pbuf unit_byte
LOCK2 &qhp->lock
LOCK2 flag
HALF_LOCKED2 &conn->send_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct c4iw_qp)->lock

drivers/infiniband/hw/cxgb4/qp.c t4_ring_srq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 5860133765369147392
BUF_SIZE 1 pbuf 128
BUF_SIZE 1 pbuf 128
DATA_SOURCE 1 pbuf $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &srq->lock
LOCK2 flag
TYPE_LOCK (struct c4iw_srq)->lock

drivers/infiniband/hw/cxgb4/device.c t4_ring_rq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
DATA_SOURCE 1 pbuf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &(&ctx->dev->qps)->xa_lock
LOCK2 &qp->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_qp)->lock

drivers/infiniband/hw/cxgb4/device.c t4_ring_sq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
DATA_SOURCE 1 pbuf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &(&ctx->dev->qps)->xa_lock
LOCK2 &qp->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct c4iw_qp)->lock

drivers/infiniband/hw/cxgb4/cq.c t4_ring_srq_db() -> pio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
DATA_SOURCE 1 pbuf $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &chp->lock
LOCK2 flags
HALF_LOCKED2 &qhp->lock
TYPE_LOCK (struct c4iw_cq)->lock

drivers/infiniband/hw/hfi1/ud.c return_cnp() -> (struct hfi1_devdata)->pio_inline_send()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
PARAM_VALUE 1 pbuf->arg 0
PARAM_VALUE 1 pbuf->carry.val64 0
PARAM_VALUE 1 pbuf->carry_bytes 0
PARAM_VALUE 1 pbuf->cb 0
PARAM_VALUE 1 pbuf->end 4096-ptr_max
PARAM_VALUE 1 pbuf->qw_written 0
PARAM_VALUE 1 pbuf->sc 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->buffers_allocated 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->flags 1-u16max
PARAM_VALUE 1 pbuf->sc->sr 4096-ptr_max
PARAM_VALUE 1 pbuf->start 4096-ptr_max
PARAM_VALUE 2 pbc 0-281474976710655
PARAM_VALUE 3 from 1837793020485029888
PARAM_VALUE 4 count 5,15
BUF_SIZE 1 pbuf 64
BUF_SIZE 3 from 105
CAPPED_DATA 1 pbuf->sc->credits 1
DATA_SOURCE 1 pbuf r sc_buffer_alloc
DATA_SOURCE 2 pbc r create_pbc
FUZZY_MAX 4 count 5
CONTAINER 0 *(-12560+0) $(-1)
BIT_INFO 2 pbc 0x8000000,0xffffffffffff
BIT_INFO 2 pbc 0x8000000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pkt->qp->r_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/hfi1/ud.c return_cnp_16B() -> (struct hfi1_devdata)->pio_inline_send()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
PARAM_VALUE 1 pbuf->arg 0
PARAM_VALUE 1 pbuf->carry.val64 0
PARAM_VALUE 1 pbuf->carry_bytes 0
PARAM_VALUE 1 pbuf->cb 0
PARAM_VALUE 1 pbuf->end 4096-ptr_max
PARAM_VALUE 1 pbuf->qw_written 0
PARAM_VALUE 1 pbuf->sc 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->buffers_allocated 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->flags 1-u16max
PARAM_VALUE 1 pbuf->sc->sr 4096-ptr_max
PARAM_VALUE 1 pbuf->start 4096-ptr_max
PARAM_VALUE 2 pbc 0-281474976710655
PARAM_VALUE 3 from 2052205214490267648
PARAM_VALUE 4 count 7,17
BUF_SIZE 1 pbuf 64
BUF_SIZE 3 from 105
CAPPED_DATA 1 pbuf->sc->credits 1
DATA_SOURCE 1 pbuf r sc_buffer_alloc
DATA_SOURCE 2 pbc r create_pbc
FUZZY_MAX 4 count 7
CONTAINER 0 *(-12560+0) $(-1)
BIT_INFO 2 pbc 0x8000000,0xffffffffffff
BIT_INFO 2 pbc 0x8000000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pkt->qp->r_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/hfi1/rc.c hfi1_send_rc_ack() -> (struct hfi1_devdata)->pio_inline_send()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 pbuf 4096-ptr_max
PARAM_VALUE 1 pbuf->arg 0
PARAM_VALUE 1 pbuf->carry.val64 0
PARAM_VALUE 1 pbuf->carry_bytes 0
PARAM_VALUE 1 pbuf->cb 0
PARAM_VALUE 1 pbuf->end 4096-ptr_max
PARAM_VALUE 1 pbuf->qw_written 0
PARAM_VALUE 1 pbuf->sc 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->buffers_allocated 4096-ptr_max
PARAM_VALUE 1 pbuf->sc->flags 1-u16max
PARAM_VALUE 1 pbuf->sc->sr 4096-ptr_max
PARAM_VALUE 1 pbuf->start 4096-ptr_max
PARAM_VALUE 2 pbc 0-281474976710655
PARAM_VALUE 3 from 4142084873720811520
PARAM_VALUE 4 count 6,8,16,18
BUF_SIZE 1 pbuf 64
CAPPED_DATA 1 pbuf->sc->credits 1
DATA_SOURCE 1 pbuf r sc_buffer_alloc
DATA_SOURCE 2 pbc r create_pbc
CONTAINER 0 *(-12560+0) $(-1)
BIT_INFO 2 pbc 0x8000000,0xffffffffffff
BIT_INFO 2 pbc 0x8000000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &packet->qp->r_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read