Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/verbs.c ingress_pkey_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
PARAM_VALUE 1 pkey 1-u16max
PARAM_VALUE 2 slid 0-16777215
DATA_SOURCE 0 ppd $0
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $4
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

drivers/infiniband/hw/hfi1/mad.c opa_local_smp_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
PARAM_VALUE 1 pkey 0-32766,32768-65534
DATA_SOURCE 0 ppd r ppd_from_ibp
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/ud.c ingress_pkey_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
PARAM_VALUE 1 pkey 1-u16max
DATA_SOURCE 0 ppd $0
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $4
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/ud.c opa_smp_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
DATA_SOURCE 0 ppd r ppd_from_ibp
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $4
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/ud.c opa_smp_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
PARAM_VALUE 1 pkey 0-65534
DATA_SOURCE 0 ppd r ppd_from_ibp
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $4
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/ud.c opa_smp_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
PARAM_VALUE 1 pkey 0-65534
DATA_SOURCE 0 ppd r ppd_from_ibp
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $4
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/ud.c rcv_pkey_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
DATA_SOURCE 0 ppd $0
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $3
BIT_INFO 0 ppd->part_enforce 0x1,0xff
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/ruc.c rcv_pkey_check() -> ingress_pkey_table_fail()

Type Parameter Key Value
PARAM_VALUE 0 ppd 4096-ptr_max
DATA_SOURCE 0 ppd $0
DATA_SOURCE 1 pkey $1
DATA_SOURCE 2 slid $3
BIT_INFO 0 ppd->part_enforce 0x1,0xff
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &packet->qp->r_lock
HALF_LOCKED2 &qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock