Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/caps.c ceph_check_caps() -> try_nonblocking_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_data.nrpages 1-u64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 inode->i_op->get_acl 0,4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
BUF_SIZE 0 inode 1160
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ci->i_ceph_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock

fs/ceph/caps.c handle_cap_grant() -> try_nonblocking_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
DATA_SOURCE 0 inode $0
BIT_INFO 0 inode->i_flags 0x0,0xffffffff