Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/caps.c ceph_add_cap() -> __check_cap_issue()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_caps.rb_node 1-u64max
PARAM_VALUE 1 cap 4096-ptr_max
PARAM_VALUE 1 cap->session_caps.next 4096-ptr_max
PARAM_VALUE 1 cap->session_caps.next->prev 4096-ptr_max
PARAM_VALUE 1 cap->session_caps.prev->next 4096-ptr_max
BUF_SIZE 1 cap->session (-1),2776
CAPPED_DATA 1 cap 1
DATA_SOURCE 0 ci r ceph_inode
DATA_SOURCE 2 issued $3 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 cap unit_byte
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &session->s_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 cap 4096-ptr_max
CAPPED_DATA 1 cap 1
DATA_SOURCE 0 ci r ceph_inode
DATA_SOURCE 1 cap $2
BIT_INFO 1 cap->cap_gen 0x0,0x7fffffff
BIT_INFO 1 cap->seq 0x0,0x7fffffff
NOCHECK_CALL
UNITS 1 cap unit_byte