Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/iwpm_msg.c iwpm_add_and_query_mapping() -> iwpm_check_registration()

Type Parameter Key Value
PARAM_VALUE 0 nl_client 2
PARAM_VALUE 1 reg 2
DATA_SOURCE 0 nl_client $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/core/iwpm_msg.c iwpm_add_mapping() -> iwpm_check_registration()

Type Parameter Key Value
PARAM_VALUE 0 nl_client 2
PARAM_VALUE 1 reg 2
DATA_SOURCE 0 nl_client $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &ctrl_lock
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ib_ctx.ib_dev_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &lock

drivers/infiniband/core/iwpm_msg.c iwpm_register_pid() -> iwpm_check_registration()

Type Parameter Key Value
PARAM_VALUE 0 nl_client 2
PARAM_VALUE 1 reg 2
DATA_SOURCE 0 nl_client $1
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/core/iwpm_msg.c iwpm_remove_mapping() -> iwpm_check_registration()

Type Parameter Key Value
PARAM_VALUE 0 nl_client 2
PARAM_VALUE 1 reg 1
DATA_SOURCE 0 nl_client $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock