Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/rc.c rc_rcv_resp() -> do_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 0 qp->s_flags 0,1073741824-u32max
PARAM_VALUE 0 qp->s_mig_state 0,2
PARAM_VALUE 3 opcode 13,17-18
PARAM_VALUE 5 rcd 4096-ptr_max
PARAM_VALUE 5 rcd->rhf_rcv_function_map 4096-ptr_max
DATA_SOURCE 2 psn r ib_bth_get_psn
FUZZY_MAX 3 opcode 18
PARAM_COMPARE 0 qp->s_acked != $0->s_tail
BIT_INFO 0 qp->r_flags 0x0,0xfd
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/rc.c rc_rcv_resp() -> do_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 0 qp->s_flags 0,1073741824-u32max
PARAM_VALUE 0 qp->s_mig_state 0,2
PARAM_VALUE 3 opcode 16
PARAM_VALUE 4 val 0
PARAM_VALUE 5 rcd 4096-ptr_max
PARAM_VALUE 5 rcd->rhf_rcv_function_map 4096-ptr_max
DATA_SOURCE 2 psn r ib_bth_get_psn
PARAM_COMPARE 0 qp->s_acked != $0->s_tail
BIT_INFO 0 qp->r_flags 0x0,0xfd
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/rc.c rc_rcv_resp() -> do_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 0 qp->s_mig_state 0,2
PARAM_VALUE 0 qp->s_rdma_read_len 1-16376
PARAM_VALUE 3 opcode 15
PARAM_VALUE 4 val 0
PARAM_VALUE 5 rcd 4096-ptr_max
PARAM_VALUE 5 rcd->rhf_rcv_function_map 4096-ptr_max
CAPPED_DATA 0 qp->s_rdma_read_len 1
DATA_SOURCE 2 psn r ib_bth_get_psn
BIT_INFO 0 qp->r_flags 0x0,0xfd
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_read_resp() -> do_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 2 psn 0-s32max
PARAM_VALUE 3 opcode 0-255
PARAM_VALUE 4 val 0
PARAM_VALUE 5 rcd 4096-ptr_max
PARAM_VALUE 5 rcd->rhf_rcv_function_map 4096-ptr_max
DATA_SOURCE 2 psn r mask_psn
BIT_INFO 0 qp->s_flags 0x0,0xffffffbf
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_write_resp() -> do_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 2 psn 0-s32max
PARAM_VALUE 3 opcode 0-255
PARAM_VALUE 4 val 0
PARAM_VALUE 5 rcd 4096-ptr_max
PARAM_VALUE 5 rcd->rhf_rcv_function_map 4096-ptr_max
DATA_SOURCE 2 psn r mask_psn
PARAM_COMPARE 0 qp->s_acked != $0->s_tail
BIT_INFO 0 qp->r_flags 0x0,0xfd
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_lock