Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/dlm/midcomms.c dlm_midcomms_commit_msg_3_2() -> dlm_lowcomms_commit_msg()

Type Parameter Key Value
NOCHECK_CALL

fs/dlm/midcomms.c dlm_midcomms_rawmsg_send() -> dlm_lowcomms_commit_msg()

Type Parameter Key Value
PARAM_VALUE 0 $ 1-u64max
DATA_SOURCE 0 $ r dlm_lowcomms_new_msg
NOCHECK_CALL

fs/dlm/midcomms.c dlm_send_ack() -> dlm_lowcomms_commit_msg()

Type Parameter Key Value
PARAM_VALUE 0 $ 1-u64max
DATA_SOURCE 0 $ r dlm_lowcomms_new_msg
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 global &nodes_srcu
HALF_LOCKED2 &node->state_lock
HALF_LOCKED2 bh

fs/dlm/rcom.c send_rcom_stateless() -> dlm_lowcomms_commit_msg()

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