Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/caps.c __kick_flushing_caps() -> __prep_cap()

Type Parameter Key Value
PARAM_VALUE 0 arg 7297314728136613888
PARAM_VALUE 1 cap 4096-ptr_max
PARAM_VALUE 2 op 7
PARAM_VALUE 3 flags 0,4
PARAM_VALUE 4 used 0-1,512-15873
PARAM_VALUE 5 want 0-66047
PARAM_VALUE 6 retain 0-s32max
CAPPED_DATA 1 cap->session 1
DATA_SOURCE 9 oldest_flush_tid $3
FUZZY_MAX 3 flags 4
BIT_INFO 4 used 0x0,0x3fff
BIT_INFO 5 want 0x0,0x1ffff
HARD_MAX 3 flags 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 cap unit_byte
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &session->s_mutex

fs/ceph/caps.c try_flush_caps() -> __prep_cap()

Type Parameter Key Value
PARAM_VALUE 0 arg 1307990400622133248
PARAM_VALUE 1 cap 4096-ptr_max
PARAM_VALUE 1 cap->session 4096-ptr_max
PARAM_VALUE 1 cap->session->s_cap_flushing.prev 4096-ptr_max
PARAM_VALUE 1 cap->session->s_cap_flushing.prev->next 4096-ptr_max
PARAM_VALUE 1 cap->session->s_cap_flushing.prev->next->next 4096-ptr_max
PARAM_VALUE 1 cap->session->s_state 3-s32max
PARAM_VALUE 2 op 7
PARAM_VALUE 3 flags 1
PARAM_VALUE 4 used 0-1,512-15873
PARAM_VALUE 5 want 0-66047
PARAM_VALUE 6 retain 0-s32max
PARAM_VALUE 7 flushing s32min-(-1),1-s32max
DATA_SOURCE 8 flush_tid r __mark_caps_flushing
FUZZY_MAX 1 cap->session->s_state 3
BIT_INFO 4 used 0x0,0x3fff
BIT_INFO 5 want 0x0,0x1ffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 cap unit_byte
LOCK2 &ci->i_ceph_lock
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock