Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ceph/mon_client.c __close_session() -> ceph_msg_revoke()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &monc->mutex
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/mon_client.c __close_session() -> ceph_msg_revoke()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &monc->mutex
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/mon_client.c __finish_generic_request() -> ceph_msg_revoke()

Type Parameter Key Value
BUF_SIZE 0 msg (-1),1-s32max
BUF_SIZE 0 msg (-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &monc->mutex
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/mon_client.c __resend_generic_request() -> ceph_msg_revoke()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &monc->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/mon_client.c __send_prepared_auth_request() -> ceph_msg_revoke()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->front.iov_len 1-s32max
PARAM_VALUE 0 msg->front_alloc_len 1-s32max
PARAM_VALUE 0 msg->hdr.front_len 1-s32max
CAPPED_DATA 0 msg 1
CAPPED_DATA 0 msg->front.iov_len 1
CAPPED_DATA 0 msg->hdr.front_len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
LOCK2 &monc->mutex
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/mon_client.c __send_subscribe() -> ceph_msg_revoke()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.version 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &monc->mutex
TYPE_LOCK (struct ceph_mon_client)->mutex

net/ceph/osd_client.c finish_request() -> ceph_msg_revoke()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->con->v2.out_cursor.need_crc 0-1
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &osdc->lock
HALF_LOCKED2 &osd->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c send_request() -> ceph_msg_revoke()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->con->v2.out_cursor.lastlen 1-4096[c]
USER_DATA 0 msg->con->v2.out_cursor.need_crc 0-1
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
USER_DATA 0 msg->hdr.data_off 0-u16max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &osdc->lock
HALF_LOCKED2 &osd->lock
TYPE_LOCK (struct ceph_osd_client)->lock