Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ceph/caps.c __ceph_get_caps() -> ceph_put_fmode()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_cap_wq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 0 *ci->i_nr_by_mode s32min-s32max
PARAM_VALUE 1 fmode 256-259,768-771
PARAM_VALUE 2 count 1000
DATA_SOURCE 0 ci r ceph_inode
BIT_INFO 1 fmode 0x100,0x30f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/file.c ceph_init_file_info() -> ceph_put_fmode()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ci->i_inline_version 0,2-18446744073709551614
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 0 *ci->i_nr_by_mode 1,1000
PARAM_VALUE 2 count 1
DATA_SOURCE 0 ci r ceph_inode
DATA_SOURCE 1 fmode $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/ceph/file.c ceph_release() -> ceph_put_fmode()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 2 count 1
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/file.c ceph_release() -> ceph_put_fmode()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 2 count 1
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL