Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/sa_query.c ib_sa_guid_info_rec_query() -> ib_sa_client_put()

Type Parameter Key Value
DATA_SOURCE 0 client $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/sa_query.c ib_sa_mcmember_rec_query() -> ib_sa_client_put()

Type Parameter Key Value
DATA_SOURCE 0 client $0
BIT_INFO 0 client 0x1bd83cbc12bc7000,0x1bd83cbc12bc7000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/sa_query.c ib_sa_path_rec_get() -> ib_sa_client_put()

Type Parameter Key Value
DATA_SOURCE 0 client $0
BIT_INFO 0 client 0x0,0x7fffffffffffffff
BIT_INFO 0 client 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->lock

drivers/infiniband/core/sa_query.c ib_sa_service_rec_get() -> ib_sa_client_put()

Type Parameter Key Value
DATA_SOURCE 0 client $0
BIT_INFO 0 client 0x7063e59ec9031000,0x7063e59ec9031000
NOCHECK_CALL
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/sa_query.c ib_sa_unregister_client() -> ib_sa_client_put()

Type Parameter Key Value
BUF_SIZE 0 client (-1),104
BUF_SIZE 0 client (-1),104
DATA_SOURCE 0 client $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/sa_query.c send_handler() -> ib_sa_client_put()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/multicast.c ib_sa_free_multicast() -> ib_sa_client_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/multicast.c ib_sa_join_multicast() -> ib_sa_client_put()

Type Parameter Key Value
PARAM_VALUE 0 client 3194788871261569024,8098569025082298368
DATA_SOURCE 0 client $0
NOCHECK_CALL
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 irq