Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
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_get_nlmsg_seq()

Type Parameter Key Value
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_get_nlmsg_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/iwpm_util.c iwpm_send_hello() -> iwpm_get_nlmsg_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/infiniband/core/iwpm_util.c send_mapinfo_num() -> iwpm_get_nlmsg_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex