Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c rvt_copy_sge() -> wss_insert()

Type Parameter Key Value
BUF_SIZE 1 address 256
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 address unit_byte
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &packet->qp->r_lock
HALF_LOCKED2 &qp->r_lock
HALF_LOCKED2 &qp->s_lock
HALF_LOCKED2 ps.flags
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/sw/rdmavt/qp.c rvt_copy_sge() -> wss_insert()

Type Parameter Key Value
PARAM_VALUE 0 wss 4096-ptr_max
PARAM_VALUE 1 address 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 address unit_byte
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &packet->qp->r_lock
HALF_LOCKED2 &qp->r_lock
HALF_LOCKED2 &qp->s_lock
HALF_LOCKED2 ps.flags
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/media/test-drivers/vivid/vivid-vbi-gen.c vivid_vbi_gen_wss_raw() -> wss_insert()

Type Parameter Key Value
PARAM_VALUE 0 wss 7977448328791973888
PARAM_VALUE 1 address 521957831
PARAM_VALUE 2 size 29
BUF_SIZE 0 wss 137
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex

drivers/media/test-drivers/vivid/vivid-vbi-gen.c vivid_vbi_gen_wss_raw() -> wss_insert()

Type Parameter Key Value
PARAM_VALUE 0 wss 7977448328791973917
PARAM_VALUE 1 address 1981471
PARAM_VALUE 2 size 24
BUF_SIZE 0 wss 108
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex

drivers/media/test-drivers/vivid/vivid-vbi-gen.c vivid_vbi_gen_wss_raw() -> wss_insert()

Type Parameter Key Value
PARAM_VALUE 1 address 7,56
PARAM_VALUE 2 size 6
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex