Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/dlm/lock.c send_message() -> dlm_midcomms_commit_mhandle()

Type Parameter Key Value
PARAM_VALUE 0 $ 1-u64max
BUF_SIZE 1 $ (-1),65
BUF_SIZE 1 $ (-1),65
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $2
DATA_SOURCE 2 $ $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 $ 0-64[c]
UNITS 2 $ unit_byte
HALF_LOCKED2 &ls->ls_requestqueue_lock
HALF_LOCKED2 &r->res_lock
HALF_LOCKED2 bh

fs/dlm/midcomms.c dlm_send_fin() -> dlm_midcomms_commit_mhandle()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 1 $ 0
PARAM_VALUE 2 $ 0
DATA_SOURCE 0 $ r dlm_midcomms_get_mhandle
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &node->state_lock
LOCK2 bh
LOCK2 global &nodes_srcu
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &close_lock
HALF_LOCKED2 global &ls_lock
TYPE_LOCK (struct midcomms_node)->state_lock

fs/dlm/rcom.c dlm_send_ls_not_ready() -> dlm_midcomms_commit_mhandle()

Type Parameter Key Value
PARAM_VALUE 0 $ 1-u64max
PARAM_VALUE 1 $ 0
PARAM_VALUE 2 $ 0
DATA_SOURCE 0 $ r dlm_midcomms_get_mhandle
NOCHECK_CALL
LOCK2 &pool->lock
HALF_LOCKED2 global &nodes_srcu

fs/dlm/rcom.c send_rcom() -> dlm_midcomms_commit_mhandle()

Type Parameter Key Value
PARAM_VALUE 0 $ 1-u64max
PARAM_VALUE 1 $ 0
PARAM_VALUE 2 $ 0
DATA_SOURCE 0 $ $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recoverd_active
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &r->res_lock
HALF_LOCKED2 bh