Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- fs/ceph/addr.c
- fs/ceph/crypto.c, line 528
- fs/ceph/file.c
- fs/ceph/ioctl.c, line 205
- net/ceph/osd_client.c, line 110
- net/ceph/striper.c
Smatch caller information:
fs/ceph/crypto.c ceph_fscrypt_decrypt_extents() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 3 | objno | 6226724401853714432 |
| PARAM_VALUE | 4 | objoff | 7771566055663288320 |
| PARAM_VALUE | 5 | xlen | 6704859310456336384 |
| DATA_SOURCE | 1 | off | $2 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-11442450941[c] |
| UNITS | 1 | off | unit_byte |
fs/ceph/ioctl.c ceph_ioctl_get_dataloc() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| PARAM_VALUE | 3 | objno | 6968476208966582288 |
| PARAM_VALUE | 4 | objoff | 6968476208966582280 |
| PARAM_VALUE | 5 | xlen | 8351889282414465024 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-u64max |
| USER_DATA | 3 | *objno | 0-u64max |
| USER_DATA | 4 | *objoff | 0-u64max |
| USER_PTR | 3 | objno | |
| USER_PTR | 4 | objoff | |
| LOCK2 | &osdc->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/striper.c ceph_file_to_extents() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | objno | 5982022370974035968 |
| PARAM_VALUE | 4 | objoff | 2243014554593591296 |
| PARAM_VALUE | 5 | xlen | 5354867675405643776 |
| DATA_SOURCE | 0 | l | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &obj_req->state_mutex |
net/ceph/striper.c ceph_iterate_extents() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | objno | 6345674653992849408 |
| PARAM_VALUE | 4 | objoff | 831589004891455488 |
| PARAM_VALUE | 5 | xlen | 6276652272380977152 |
| DATA_SOURCE | 0 | l | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &obj_req->state_mutex |
fs/ceph/addr.c ceph_allocate_page_array() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 3 | objno | 4571544595393282048 |
| PARAM_VALUE | 4 | objoff | 526225365046382592 |
| PARAM_VALUE | 5 | xlen | 8995143475696594944 |
| DATA_SOURCE | 1 | off | r folio_pos |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ceph/addr.c ceph_netfs_prepare_read() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 3 | objno | 6073517149254983680 |
| PARAM_VALUE | 4 | objoff | 642034227018436608 |
| PARAM_VALUE | 5 | xlen | 5120983022080036864 |
| NOSPEC | 1 | off | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-18446744073709551614 |
| USER_DATA | 2 | len | 1-17592186040320 |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
fs/ceph/file.c __ceph_copy_file_range() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 0 | l->object_size | 0-1000000000 |
| PARAM_VALUE | 0 | l->stripe_count | 1 |
| PARAM_VALUE | 1 | off | 0-1000000000 |
| PARAM_VALUE | 2 | len | 0-1000000000 |
| PARAM_VALUE | 3 | objno | 4231783965550645248 |
| PARAM_VALUE | 4 | objoff | 1618590592639852544 |
| PARAM_VALUE | 5 | xlen | 3600790175941283840 |
| CAPPED_DATA | 1 | off | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | off | $1 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | off | |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/ceph/file.c __ceph_copy_file_range() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 0 | l->stripe_count | 1 |
| PARAM_VALUE | 1 | off | 0-1000000000 |
| PARAM_VALUE | 3 | objno | 1660950779634409472 |
| PARAM_VALUE | 4 | objoff | 9029424075443314688 |
| PARAM_VALUE | 5 | xlen | 1232754853995257856 |
| CAPPED_DATA | 1 | off | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | off | $3 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-1000000000[c] |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/ceph/file.c ceph_do_objects_copy() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 0 | l->object_size | 0-1000000000 |
| PARAM_VALUE | 0 | l->stripe_count | 1 |
| PARAM_VALUE | 2 | len | 0-1000000000 |
| PARAM_VALUE | 3 | objno | 1790406561168306176 |
| PARAM_VALUE | 4 | objoff | 5498074127949713408 |
| PARAM_VALUE | 5 | xlen | 4588400672688467968 |
| CAPPED_DATA | 2 | len | 1 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-16589934588 |
| USER_DATA | 5 | *xlen | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | off | |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 5 | xlen | |
| HALF_LOCKED2 | &pool->lock |
fs/ceph/file.c ceph_do_objects_copy() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 0 | l->stripe_count | 1 |
| PARAM_VALUE | 2 | len | 0-1000000000 |
| PARAM_VALUE | 3 | objno | 944254877871136768 |
| PARAM_VALUE | 4 | objoff | 5347447796178726912 |
| PARAM_VALUE | 5 | xlen | 2559701762446852096 |
| CAPPED_DATA | 2 | len | 1 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-2000000000[c] |
| USER_DATA | 5 | *xlen | 0-s32max[c] |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 5 | xlen | |
| HALF_LOCKED2 | &pool->lock |
fs/ceph/file.c ceph_sync_write() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-1000000000 |
| PARAM_VALUE | 3 | objno | 6472839728864808960 |
| PARAM_VALUE | 4 | objoff | 4462704995617095680 |
| PARAM_VALUE | 5 | xlen | 1108722681542205440 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-18446744073709551614 |
| USER_DATA | 2 | len | 0-17592186040320 |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | len | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
net/ceph/osd_client.c calc_layout() -> ceph_calc_file_object_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l | 4096-ptr_max |
| PARAM_VALUE | 3 | objno | 8320595850485968896 |
| PARAM_VALUE | 3 | *objno | 0 |
| PARAM_VALUE | 4 | objoff | 450932273002553344 |
| PARAM_VALUE | 4 | *objoff | 0 |
| PARAM_VALUE | 5 | xlen | 7042598550426144768 |
| DATA_SOURCE | 0 | l | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 3 | objno | $3 |
| DATA_SOURCE | 4 | objoff | $4 |
| NOSPEC | 1 | off | |
| NOSPEC | 1 | off | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | off | 0-u64max |
| USER_DATA | 2 | len | 0-u64max |
| UNITS | 1 | off | unit_byte |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |