Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/extent_cache.c __update_extent_tree_range() -> __insert_extent_tree()

Type Parameter Key Value
PARAM_VALUE 1 et 4096-ptr_max
PARAM_VALUE 1 et->cached_en 0,4096-ptr_max
PARAM_VALUE 1 et->lock.dep_map->name 0-255
PARAM_VALUE 1 et->lock.owner_cpu 0
PARAM_VALUE 1 et->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 2 ei 9019003734973227008
PARAM_VALUE 2 ei->fofs 1-4294967294
PARAM_VALUE 2 ei->len 1-u32max
PARAM_VALUE 3 insert_p 0
PARAM_VALUE 4 insert_parent 0
PARAM_VALUE 5 leftmost 1
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 2 ei->fofs
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 et->cached_en->ei.fofs 0-u32max[c]
USER_DATA 1 et->cached_en->ei.len 1-s32max[c]
USER_DATA 1 et->largest.fofs 1-s32max[c]
USER_DATA 2 ei->fofs 1-s32max[c]
USER_DATA 2 ei->len 1-2147483646[c]
UNITS 0 sbi unit_byte
LOCK2 1 &et->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
TYPE_LOCK (struct extent_tree)->lock

fs/f2fs/extent_cache.c __update_extent_tree_range() -> __insert_extent_tree()

Type Parameter Key Value
PARAM_VALUE 1 et 4096-ptr_max
PARAM_VALUE 1 et->lock.dep_map->name 0-255
PARAM_VALUE 1 et->lock.owner_cpu 0
PARAM_VALUE 1 et->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 2 ei 9019003734973227008
PARAM_VALUE 2 ei->blk 1-4294967294
PARAM_VALUE 2 ei->c_len 0
PARAM_VALUE 2 ei->len 1-u32max
PARAM_VALUE 3 insert_p 0,4096-ptr_max
PARAM_VALUE 3 *insert_p 0
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 et->largest.fofs
NOSPEC 2 ei->fofs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 et->cached_en->ei.fofs 0-u32max[c]
USER_DATA 1 et->cached_en->ei.len 1-s32max[c]
USER_DATA 1 et->largest.fofs 0-4294967293[c]
USER_DATA 2 ei->fofs 0-s32max[c]
USER_DATA 2 ei->len 1-s32max[c]
UNITS 0 sbi unit_byte
LOCK2 1 &et->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
TYPE_LOCK (struct extent_tree)->lock

fs/f2fs/extent_cache.c __update_extent_tree_range() -> __insert_extent_tree()

Type Parameter Key Value
PARAM_VALUE 1 et 4096-ptr_max
PARAM_VALUE 1 et->lock.dep_map->name 0-255
PARAM_VALUE 1 et->lock.owner_cpu 0
PARAM_VALUE 1 et->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 2 ei 9019003734973227008
PARAM_VALUE 2 ei->last_blocks 0-18446744073709551614
PARAM_VALUE 2 ei->len 1-u32max
PARAM_VALUE 3 insert_p 0,4096-ptr_max
PARAM_VALUE 3 *insert_p 0
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 et->largest.fofs
NOSPEC 2 ei->fofs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 et->cached_en->ei.fofs 0-u32max[c]
USER_DATA 1 et->cached_en->ei.len 1-s32max[c]
USER_DATA 1 et->largest.fofs 0-4294967293[c]
USER_DATA 2 ei->fofs 0-s32max[c]
USER_DATA 2 ei->len 1-s32max[c]
UNITS 0 sbi unit_byte
LOCK2 1 &et->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
TYPE_LOCK (struct extent_tree)->lock

fs/f2fs/extent_cache.c f2fs_update_read_extent_tree_range_compressed() -> __insert_extent_tree()

Type Parameter Key Value
PARAM_VALUE 1 et 4096-ptr_max
PARAM_VALUE 1 et->lock.dep_map->name 0-255
PARAM_VALUE 1 et->lock.owner_cpu 0
PARAM_VALUE 1 et->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 2 ei 8298602287582679040
PARAM_VALUE 2 ei->c_len 1-u32max
PARAM_VALUE 3 insert_p 0,4096-ptr_max
PARAM_VALUE 3 *insert_p 0
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 ei->fofs 0-u32max[c]
UNITS 0 sbi unit_byte
LOCK2 1 &et->lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &src_inode->i_rwsem
TYPE_LOCK (struct extent_tree)->lock