Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/extents_status.c __es_remove_extent() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 136477131939106816
RX_PATH
TASK_NOT_RUNNING

fs/ext4/extents_status.c es_do_reclaim_extents() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
CAPPED_DATA 0 es->es_lblk 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len
HALF_LOCKED2 &ei->i_es_lock
HALF_LOCKED2 global &bch_register_lock

fs/ext4/extents_status.c ext4_clear_inode_es() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
UNITS 0 es unit_byte
LOCK2 &ei->i_es_lock
TYPE_LOCK (struct ext4_inode_info)->i_es_lock

fs/ext4/extents_status.c ext4_es_free_extent() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_pblk 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len
UNITS 0 es unit_byte
HALF_LOCKED2 &ei->i_es_lock

fs/ext4/extents_status.c ext4_es_init_extent() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $1
NOSPEC 0 es->es_lblk
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-4294967294
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents_status.c ext4_es_insert_extent() -> ext4_es_must_keep()

Type Parameter Key Value
PARAM_VALUE 0 es 3564936360352337920
PARAM_VALUE 0 es->es_pblk 0-2305843009213693951
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-2305843009213693951[c]