Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/lowcomms.c dlm_lowcomms_resend_msg() -> _dlm_lowcomms_commit_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->entry 4096-ptr_max
PARAM_VALUE 0 msg->entry->list.next 4096-ptr_max
PARAM_VALUE 0 msg->orig_msg 4096-ptr_max
PARAM_VALUE 0 msg->orig_msg->entry 4096-ptr_max
PARAM_VALUE 0 msg->orig_msg->retransmit 1
PARAM_VALUE 0 msg->ref.refcount.refs.counter 1
PARAM_VALUE 0 msg->retransmit 0
PARAM_VALUE 0 *msg->ppc 0-255
DATA_SOURCE 0 msg r dlm_lowcomms_new_msg_con
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nodes_srcu
LOCK2 rcu_read
HALF_LOCKED2 global &hci_cb_list_lock
HALF_LOCKED2 parent