Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/hfi1/rc.c
- drivers/infiniband/hw/hfi1/rc.h, line 40
- drivers/infiniband/hw/hfi1/tid_rdma.c
Smatch caller information:
drivers/infiniband/hw/hfi1/rc.c do_rc_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c do_rc_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $2 |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c do_rc_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c do_rc_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | b | $2 |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 2147483648-u32max |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 2147483648-u32max |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 2147483648-u32max |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_rc_hdrerr() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | r ib_bth_get_psn |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_rc_rcv() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | r ib_bth_get_psn |
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/rc.c hfi1_restart_rc() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | b | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &packet->qp->r_lock | ||
| HALF_LOCKED2 | &qp->r_lock | ||
| HALF_LOCKED2 | &qp->r_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c rc_rcv_error() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $4 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/rc.c restart_sge() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $2 |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| HALF_LOCKED2 | &packet->qp->r_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | ps.flags | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c handle_read_kdeth_eflags() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c handle_read_kdeth_eflags() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| 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_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| 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_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| PARAM_VALUE | 1 | b | 0-s32max |
| DATA_SOURCE | 1 | b | r full_flow_psn |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| 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_ack() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| PARAM_VALUE | 1 | b | 0-s32max |
| DATA_SOURCE | 0 | a | r full_flow_psn |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| 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_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | r mask_psn |
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_resync() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | r full_flow_psn |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | &rcd->exp_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct hfi1_ctxtdata)->exp_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_data() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| PARAM_VALUE | 1 | b | 0-s32max |
| DATA_SOURCE | 0 | a | r mask_psn |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| 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_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | r mask_psn |
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_tid_rdma_restart_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | r mask_psn |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_tid_rdma_restart_req() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| PARAM_VALUE | 1 | b | 0-s32max |
| DATA_SOURCE | 0 | a | r mask_psn |
| PREEMPT_ADD | |||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | ps.flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c restart_sge() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $2 |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_lock | ||
| HALF_LOCKED2 | &packet->qp->r_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | ps.flags | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c tid_rdma_rcv_error() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c tid_rdma_rcv_error() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c tid_rdma_rcv_error() -> delta_psn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 0-s32max |
| DATA_SOURCE | 0 | a | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | &qp->s_lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |