Defined in 1 files as a function:
Referenced in 9 files:
- drivers/block/rbd.c
- fs/ceph/caps.c
- fs/ceph/mds_client.c
- include/linux/ceph/decode.h
- net/ceph/auth.c, line 151
- net/ceph/auth_x.c, line 475
- net/ceph/messenger_v2.c
- net/ceph/mon_client.c, line 884
- net/ceph/osd_client.c
Smatch caller information:
net/ceph/messenger_v2.c prepare_ack() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 8189099020928602112 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 1 | v | 1-u64max |
| CAPPED_DATA | 1 | v | 1 |
| CAPPED_DATA | 1 | v | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_banner() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 8267118322415697920 |
| PARAM_VALUE | 0 | *p | 26,4096-ptr_max |
| PARAM_VALUE | 1 | v | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_banner() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 8267118322415697920 |
| PARAM_VALUE | 0 | *p | 34,4096-ptr_max |
| PARAM_VALUE | 1 | v | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| DATA_SOURCE | 1 | v | r ceph_client_gid |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| PARAM_VALUE | 1 | v | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_client_ident() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6931842857772679168 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 1 | v | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &con->mutex |
net/ceph/messenger_v2.c prepare_session_reconnect() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9154287247538429952 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c prepare_session_reconnect() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9154287247538429952 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL |
net/ceph/messenger_v2.c prepare_session_reconnect() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9154287247538429952 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c prepare_session_reconnect() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9154287247538429952 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL |
net/ceph/messenger_v2.c prepare_session_reconnect() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9154287247538429952 |
| NOCHECK_CALL |
fs/ceph/metric.c ceph_encode_subvolume_metrics() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4477104750950436864 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 0-4294967295 |
| PARAM_VALUE | 1 | v | 1-u32max |
| CAPPED_DATA | 0 | *p | 1 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | v | $3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/ceph/auth_none.c ceph_auth_none_build_authorizer() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2162116397532811264 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| HALF_LOCKED2 | &con->mutex | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex |
fs/ceph/mds_client.c ceph_encode_filepath() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3578834723724455936 |
| PARAM_VALUE | 0 | *p | 4097-18446744073709547521 |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 1 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | v | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mdsc->mutex | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| TYPE_LOCK | (struct ceph_mds_client)->mutex |
fs/ceph/mds_client.c create_session_full_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3277278030662189056 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &session->s_mutex |
fs/ceph/mds_client.c encode_mclientrequest_tail() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3578834723724455936,8498512715453845504 |
| PARAM_VALUE | 1 | v | 0-u32max |
| DATA_SOURCE | 0 | p | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mdsc->mutex | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| TYPE_LOCK | (struct ceph_mds_client)->mutex |
fs/ceph/mds_client.c encode_mclientrequest_tail() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3578834723724455936,8498512715453845504 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 0 | **p | 0-4294967295 |
| DATA_SOURCE | 0 | p | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | v | unit_byte |
| LOCK2 | &mdsc->mutex | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| TYPE_LOCK | (struct ceph_mds_client)->mutex |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 1 | v | 0,u64max |
| FUZZY_MAX | 1 | v | u64max |
| HARD_MAX | 1 | v | u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| PARAM_VALUE | 1 | v | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 1 | v | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/caps.c encode_cap_msg() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3146231434811260928 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ceph/auth.c build_request() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5886686093376180224 |
| PARAM_VALUE | 0 | *p | 0-ptr_max |
| PARAM_VALUE | 1 | v | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| LOCK2 | &monc->mutex | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
net/ceph/auth.c build_request() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5886686093376180224 |
| PARAM_VALUE | 0 | *p | 0-ptr_max |
| PARAM_VALUE | 1 | v | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| LOCK2 | &monc->mutex | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
net/ceph/auth.c ceph_auth_build_hello() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2820588157446475776 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| LOCK2 | &monc->mutex | ||
| HALF_LOCKED2 | &client->mount_mutex | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
net/ceph/auth.c ceph_auth_get_request() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2480660660971331584 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| LOCK2 | &monc->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
drivers/block/rbd.c __rbd_notify_op_lock() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7318267228279975936 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL | |||
| UNITS | 1 | v | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/block/rbd.c __rbd_notify_op_lock() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7318267228279975936 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/block/rbd.c rbd_cls_object_map_update() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 405177865797459968 |
| PARAM_VALUE | 0 | *p | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | *(*p) | (-67272519433846784) |
| DATA_SOURCE | 1 | v | $2 |
| NOCHECK_CALL | |||
| LOCK2 | &obj_req->state_mutex | ||
| HALF_LOCKED2 | &img_req->state_mutex | ||
| TYPE_LOCK | (struct rbd_obj_request)->state_mutex |
drivers/block/rbd.c rbd_cls_object_map_update() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 405177865797459968 |
| PARAM_VALUE | 0 | *p | 18379471554275704840,18446612682070032392 |
| PARAM_VALUE | 0 | *(*p) | (-67272519433846776) |
| NOCHECK_CALL | |||
| LOCK2 | &obj_req->state_mutex | ||
| HALF_LOCKED2 | &img_req->state_mutex | ||
| TYPE_LOCK | (struct rbd_obj_request)->state_mutex |
drivers/block/rbd.c rbd_dev_v2_parent_info() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7312042863981133824 |
| PARAM_VALUE | 0 | *p | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | *(*p) | (-67272519433846784) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
net/ceph/auth_x.c ceph_x_encode_ticket() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7413956378024378368 |
| PARAM_VALUE | 0 | *p | 4097-18446744073709547521 |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 1 |
| DATA_SOURCE | 0 | p | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &ac->mutex | ||
| LOCK2 | &monc->mutex | ||
| TYPE_LOCK | (struct ceph_auth_client)->mutex | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
net/ceph/mon_client.c __ceph_monc_get_version() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6164284124161908736 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &monc->mutex | ||
| HALF_LOCKED2 | &osdc->lock | ||
| TYPE_LOCK | (struct ceph_mon_client)->mutex |
net/ceph/osd_client.c create_backoff_message() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1802456761378570240 |
| PARAM_VALUE | 0 | *p | 4097-18446744073709547521 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | v | 0-u64max |
| LOCK2 | &osd->lock | ||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_osd)->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_hoid() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1802456761378570240 |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 0-4294967295 |
| DATA_SOURCE | 0 | p | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &osd->lock | ||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_osd)->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_hoid() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1802456761378570240 |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 0-4294967295 |
| DATA_SOURCE | 0 | p | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &osd->lock | ||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_osd)->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_oloc() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2271624727460364288,5593230873640685568 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 0-4294967295 |
| DATA_SOURCE | 0 | p | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | v | u64max |
| HALF_LOCKED2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock |
net/ceph/osd_client.c encode_pgid() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1802456761378570240,5593230873640685568,6878903640324304896 |
| PARAM_VALUE | 0 | *p | 4097-18446744073709547521 |
| PARAM_VALUE | 0 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | **p | 1 |
| DATA_SOURCE | 0 | p | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | v | 0-u64max |
| HALF_LOCKED2 | &osdc->lock |
net/ceph/osd_client.c encode_request_finish() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6878903640324304896 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| NOCHECK_CALL |
net/ceph/osd_client.c encode_request_partial() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5593230873640685568 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &lreq->lock | ||
| HALF_LOCKED2 | &osd->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_request_partial() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5593230873640685568 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &lreq->lock | ||
| HALF_LOCKED2 | &osd->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_request_partial() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5593230873640685568 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &lreq->lock | ||
| HALF_LOCKED2 | &osd->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c encode_request_partial() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5593230873640685568 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| PARAM_VALUE | 1 | v | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &lreq->lock | ||
| HALF_LOCKED2 | &osd->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c osd_req_op_copy_from_init() -> ceph_encode_64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2271624727460364288 |
| PARAM_VALUE | 0 | *p | 4096-ptr_max |
| DATA_SOURCE | 1 | v | $8 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode_out->i_rwsem |