Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v1.c prepare_write_message() -> prepare_write_message_footer()
| 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->list.prev->prev | 5159360019465732096 |
| 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->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 3-6 |
| PARAM_VALUE | 0 | con->v1.out_msg_done | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | 0 |
| PARAM_VALUE | 1 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | m->data_length | 0 |
| PARAM_VALUE | 1 | m->footer.data_crc | 0 |
| PARAM_VALUE | 1 | m->footer.flags | 0 |
| PARAM_VALUE | 1 | m->middle | 0,4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->in_seq | 1 |
| DATA_SOURCE | 0 | con | $0 |
| DATA_SOURCE | 1 | m | $1 |
| PARAM_COMPARE | 0 | con->in_seq | <= $0->in_seq_acked |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c write_partial_message_data() -> prepare_write_message_footer()
| 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->list.prev->prev | 5159360019465732096 |
| 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->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 1-u64max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 3-4,12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_bytes | 0 |
| PARAM_VALUE | 0 | con->v1.out_kvec_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 0 |
| PARAM_VALUE | 0 | con->v1.out_msg_done | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | 0 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | m->cursor.total_resid | 0 |
| PARAM_VALUE | 1 | m->num_data_items | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| DATA_SOURCE | 1 | m | $1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |