Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/messenger.c ceph_con_keepalive() -> ceph_con_flag_test_and_set()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->mutex.dep_map->name 0-255
PARAM_VALUE 0 con->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 con->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 con->mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 con->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 con->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 con_flag 2
CAPPED_DATA 0 &con->mutex 1
DATA_SOURCE 0 con $0
NOSPEC 0 con->peer_name.num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 con->peer_name.num 0-s32max[c]
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &s->s_mutex

net/ceph/messenger.c ceph_con_send() -> ceph_con_flag_test_and_set()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->msgr 4096-ptr_max
PARAM_VALUE 0 con->mutex.dep_map->name 0-255
PARAM_VALUE 0 con->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 con->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 con->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 con->mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 con->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 con->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 con->ops 4096-ptr_max
PARAM_VALUE 0 con->ops->get 4096-ptr_max
PARAM_VALUE 0 con->out_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 con->out_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 con->private->o_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 con->private->s_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 con->state s32min-0,2-s32max
PARAM_VALUE 1 con_flag 2
CAPPED_DATA 0 con 1
CAPPED_DATA 0 &con->mutex 1
DATA_SOURCE 0 con $0
NOSPEC 0 con->peer_name.num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 con->peer_name.num 0-s32max[c]
HALF_LOCKED2 &mdsc->mutex
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &s->s_mutex
HALF_LOCKED2 &session->s_mutex