Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/ud.c hfi1_ud_rcv() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->mgmt 4096-ptr_max
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/rc.c hfi1_rc_rcv() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->grh 0,4096-ptr_max
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 1 pkt->qp->priv->hdr_type 0-1
PARAM_VALUE 1 pkt->qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 1 pkt->qp->s_flags 0,1073741824-u32max
PARAM_VALUE 1 pkt->qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->s_mig_state 0,2
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
CAPPED_DATA 1 pkt->slid 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/uc.c hfi1_uc_rcv() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->grh 0,4096-ptr_max
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 1 pkt->qp->priv->hdr_type 0-1
PARAM_VALUE 1 pkt->qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 1 pkt->qp->s_flags 0,1073741824-u32max
PARAM_VALUE 1 pkt->qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->s_mig_state 0,2
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
CAPPED_DATA 1 pkt->slid 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_ack() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_read_req() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->grh 0,4096-ptr_max
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 4096-ptr_max
PARAM_VALUE 1 pkt->ohdr->bth 4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 1 pkt->qp->priv->hdr_type 0-1
PARAM_VALUE 1 pkt->qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 1 pkt->qp->s_flags 0,1073741824-u32max
PARAM_VALUE 1 pkt->qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->s_mig_state 0,2
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
CAPPED_DATA 1 pkt->slid 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_resync() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_write_data() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_rc_rcv_tid_rdma_write_req() -> process_ecn()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->grh 0,4096-ptr_max
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 4096-ptr_max
PARAM_VALUE 1 pkt->ohdr->bth 4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 1 pkt->qp->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 1 pkt->qp->priv->hdr_type 0-1
PARAM_VALUE 1 pkt->qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 1 pkt->qp->s_flags 0,1073741824-u32max
PARAM_VALUE 1 pkt->qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pkt->qp->s_mig_state 0,2
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
CAPPED_DATA 1 pkt->slid 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 pkt 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 1 pkt->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 1 pkt->etail (-1)-2047
PARAM_VALUE 1 pkt->etype 0-7
PARAM_VALUE 1 pkt->extra_byte 0-1
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->maxcnt 0-16711425
PARAM_VALUE 1 pkt->ohdr 0,4096-ptr_max
PARAM_VALUE 1 pkt->pad 0-7
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rcd 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 1 pkt->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 1 pkt->rhf_addr 4096-ptr_max
PARAM_VALUE 1 pkt->sc 0-31
PARAM_VALUE 1 pkt->slid 0-16777215
PARAM_VALUE 1 pkt->tlen 0,4-16380
PARAM_VALUE 1 pkt->updegr 0-1
BUF_SIZE 1 pkt->ohdr (-1),48
CAPPED_DATA 1 pkt->maxcnt 1
DATA_SOURCE 1 pkt $0
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &pkt->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock