Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/dlm/lowcomms.c dlm_lowcomms_resend_msg() -> dlm_lowcomms_put_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->con 4096-ptr_max
PARAM_VALUE 0 msg->entry->con->writequeue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->entry->list.next 4096-ptr_max
PARAM_VALUE 0 msg->entry->msgs.next 4096-ptr_max
PARAM_VALUE 0 msg->entry->msgs.next->next 4096-ptr_max
PARAM_VALUE 0 msg->entry->msgs.next->prev 4096-ptr_max
PARAM_VALUE 0 msg->list.next 4096-ptr_max
PARAM_VALUE 0 msg->list.prev 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->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

fs/dlm/midcomms.c dlm_mhandle_release() -> dlm_lowcomms_put_msg()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

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

Type Parameter Key Value
PARAM_VALUE 0 msg 1-u64max
DATA_SOURCE 0 msg 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_put_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 1-u64max
DATA_SOURCE 0 msg $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