Documented in 1 files:
Defined in 1 files as a function:
Referenced in 9 files:
- drivers/infiniband/hw/hfi1/ipoib_main.c
- drivers/infiniband/hw/hfi1/qp.c, line 474
- drivers/infiniband/hw/hfi1/rc.c
- drivers/infiniband/hw/hfi1/rc.h, line 30
- drivers/infiniband/hw/hfi1/tid_rdma.c
- drivers/infiniband/hw/hfi1/verbs.c
- drivers/infiniband/hw/hfi1/verbs_txreq.c, line 71
- drivers/infiniband/sw/rdmavt/mcast.c, line 42
- drivers/infiniband/sw/rdmavt/qp.c
Smatch caller information:
drivers/infiniband/hw/hfi1/verbs_txreq.c __get_txreq() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| BIT_INFO | 0 | qp->s_flags | 0x800,0xffffffffffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->txwait_lock.lock | ||
| LOCK2 | ps.flags | ||
| LOCK2 | 0 | &qp->s_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock | ||
| TYPE_LOCK | (struct seqlock)->lock |
drivers/infiniband/sw/rdmavt/qp.c rvt_insert_qp() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| NOSPEC | 0 | qp->alt_ah_attr.port_num | |
| NOSPEC | 0 | qp->port_num | |
| NOSPEC | 0 | qp->remote_ah_attr.port_num | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | qp->alt_ah_attr.ib.dlid | 0-u16max |
| USER_DATA | 0 | qp->alt_ah_attr.ib.src_path_bits | 0-255 |
| USER_DATA | 0 | qp->alt_ah_attr.opa.dlid | 0-u16max |
| USER_DATA | 0 | qp->alt_ah_attr.opa.src_path_bits | 0-255 |
| USER_DATA | 0 | qp->alt_ah_attr.port_num | 0-255 |
| USER_DATA | 0 | qp->alt_ah_attr.sl | 0-255 |
| USER_DATA | 0 | qp->alt_ah_attr.static_rate | 0-255 |
| USER_DATA | 0 | qp->port_num | 0-255 |
| USER_DATA | 0 | qp->qkey | 0-2147483646,2147483648-u32max |
| USER_DATA | 0 | qp->qp_access_flags | 0-255 |
| USER_DATA | 0 | qp->r_max_rd_atomic | 0-255[c] |
| USER_DATA | 0 | qp->r_min_rnr_timer | 0-255 |
| USER_DATA | 0 | qp->r_psn | 0-u32max[c] |
| USER_DATA | 0 | qp->remote_ah_attr.ib.dlid | 0-u16max |
| USER_DATA | 0 | qp->remote_ah_attr.ib.src_path_bits | 0-255 |
| USER_DATA | 0 | qp->remote_ah_attr.opa.dlid | 0-u16max,4026531840-4026548222 |
| USER_DATA | 0 | qp->remote_ah_attr.opa.src_path_bits | 0-255 |
| USER_DATA | 0 | qp->remote_ah_attr.port_num | 0-255 |
| USER_DATA | 0 | qp->remote_ah_attr.sl | 0-255 |
| USER_DATA | 0 | qp->remote_ah_attr.static_rate | 0-255 |
| USER_DATA | 0 | qp->remote_qpn | 0-u32max |
| USER_DATA | 0 | qp->s_alt_pkey_index | 0-255 |
| USER_DATA | 0 | qp->s_max_rd_atomic | 0-255 |
| USER_DATA | 0 | qp->s_mig_state | 0-255 |
| USER_DATA | 0 | qp->s_next_psn | 0-u32max[c] |
| USER_DATA | 0 | qp->s_pkey_index | 0-255 |
| USER_DATA | 0 | qp->s_psn | 0-u32max[c] |
| USER_DATA | 0 | qp->s_retry | 0-255 |
| USER_DATA | 0 | qp->s_retry_cnt | 0-255 |
| USER_DATA | 0 | qp->s_rnr_retry | 0-255 |
| USER_DATA | 0 | qp->s_rnr_retry_cnt | 0-255 |
| USER_DATA | 0 | qp->s_sending_psn | 0-u32max[c] |
| USER_DATA | 0 | qp->s_srate | 0-255 |
| USER_DATA | 0 | qp->state | 1,3 |
| USER_DATA | 0 | qp->timeout | 0-255 |
| HALF_LOCKED2 | &ibqp->qp_sec->mutex |
drivers/infiniband/sw/rdmavt/qp.c rvt_qp_iter() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
drivers/infiniband/hw/hfi1/verbs.c hfi1_wait_kmem() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| DATA_SOURCE | 0 | qp | $0 |
| BIT_INFO | 0 | qp->s_flags | 0x2000,0xffffffffffffffff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->iowait_lock.lock | ||
| HALF_LOCKED2 | &qp->s_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &qp->s_lock | |
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/verbs.c pio_wait() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| DATA_SOURCE | 0 | qp | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sc->waitlock.lock | ||
| LOCK2 | flags | ||
| LOCK2 | 0 | &qp->s_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock | ||
| TYPE_LOCK | (struct seqlock)->lock |
drivers/infiniband/sw/rdmavt/mcast.c rvt_mcast_qp_alloc() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| DATA_SOURCE | 0 | qp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &obj->mcast_lock |
drivers/infiniband/hw/hfi1/rc.c rc_defered_ack() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0x4,0xff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &packet->qp->r_lock | ||
| HALF_LOCKED2 | 0 | &qp->r_lock | |
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/rc.c rdma_seq_err() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| DATA_SOURCE | 0 | qp | $0 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0xa,0xff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &packet->qp->r_lock | ||
| 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 set_restart_qp() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| DATA_SOURCE | 0 | qp | $0 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0xa,0xff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &packet->qp->r_lock | ||
| 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/ipoib_main.c hfi1_ipoib_dev_open() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| DATA_SOURCE | 0 | qp | r rvt_lookup_qpn |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/infiniband/hw/hfi1/ipoib_main.c hfi1_ipoib_mcast_attach() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| DATA_SOURCE | 0 | qp | r rvt_lookup_qpn |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
drivers/infiniband/hw/hfi1/ipoib_main.c hfi1_ipoib_mcast_detach() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| DATA_SOURCE | 0 | qp | r rvt_lookup_qpn |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &priv->mcast_mutex |
drivers/infiniband/hw/hfi1/tid_rdma.c first_qp() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rcd->exp_lock | ||
| HALF_LOCKED2 | &qp->s_lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct hfi1_ctxtdata)->exp_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c handle_read_kdeth_eflags() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0xa,0xff |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &qp->r_lock | ||
| 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 queue_qp_for_tid_wait() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| DATA_SOURCE | 0 | qp | $2 |
| BIT_INFO | 0 | qp->s_flags | 0x10000000,0xffffffffffffffff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rcd->exp_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &qp->s_lock | ||
| HALF_LOCKED2 | ps.flags | ||
| HALF_LOCKED2 | 0 | &qp->s_lock | |
| TYPE_LOCK | (struct hfi1_ctxtdata)->exp_lock | ||
| TYPE_LOCK | (struct rvt_qp)->s_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c rc_defered_ack() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0x4,0xff |
| BIT_INFO | 0 | qp->r_nak_state | 0x20,0xffffffffffffffff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &qp->s_lock | |
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/tid_rdma.c restart_tid_rdma_read_req() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | &qp->rspwait | 1 |
| DATA_SOURCE | 0 | qp | $1 |
| PARAM_COMPARE | 0 | &qp->rspwait | == $0->rspwait.next |
| BIT_INFO | 0 | qp->r_flags | 0xa,0xff |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &qp->r_lock | ||
| 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/qp.c iowait_sleep() -> rvt_get_qp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| BIT_INFO | 0 | qp->s_flags | 0x1000,0xffffffffffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sde->tail_lock | ||
| LOCK2 | &sde->waitlock.lock | ||
| LOCK2 | flags | ||
| LOCK2 | flags | ||
| LOCK2 | 0 | &qp->s_lock | |
| TYPE_LOCK | (struct rvt_qp)->s_lock | ||
| TYPE_LOCK | (struct sdma_engine)->tail_lock | ||
| TYPE_LOCK | (struct seqlock)->lock |