Defined in 1 files as a variable:

Defined in 3 files as a member:

Defined in 4 files as a function:

Referenced in 22 files:

Smatch caller information:

drivers/gpu/drm/ast/ast_dp501.c ast_write_cmd() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->ioregs 4096-ptr_max
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/ast/ast_dp501.c ast_write_data() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->ioregs 4096-ptr_max
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/infiniband/sw/rxe/rxe_resp.c acknowledge() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 qp->ibqp.qp_type 2
PARAM_VALUE 0 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->valid 1-u32max
CAPPED_DATA 0 qp 1
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 qp->attr.cur_qp_state 0-6

drivers/infiniband/sw/rxe/rxe_resp.c acknowledge() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 qp->ibqp.qp_type 2
PARAM_VALUE 0 qp->resp.aeth_syndrome 31
PARAM_VALUE 0 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->valid 1-u32max
PARAM_VALUE 1 syndrome 31
CAPPED_DATA 0 qp 1
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 qp->attr.cur_qp_state 0-6

drivers/infiniband/sw/rxe/rxe_resp.c duplicate_request() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 qp->resp.aeth_syndrome 31
PARAM_VALUE 0 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->valid 1-u32max
PARAM_VALUE 1 syndrome 31
PARAM_VALUE 2 psn 0-16777215
CAPPED_DATA 0 qp 1
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 qp->attr.cur_qp_state 0-6

drivers/infiniband/sw/rxe/rxe_resp.c rxe_receiver() -> send_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 qp->resp.aeth_syndrome 31
PARAM_VALUE 0 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->valid 1-u32max
PARAM_VALUE 1 syndrome 96
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 qp->attr.cur_qp_state 0-6