Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/segment.c add_sit_entry() -> adjust_sit_entry_set()

Type Parameter Key Value
PARAM_VALUE 0 ses 4096-ptr_max
PARAM_VALUE 0 ses->start_segno 0-4294967270
PARAM_VALUE 1 head 4096-ptr_max
BUF_SIZE 1 head (-1),16
BUF_SIZE 1 head (-1),16
CAPPED_DATA 0 ses->start_segno 1
CAPPED_DATA 1 head 1
DATA_SOURCE 1 head $1
PARAM_COMPARE 0 &ses->set_list != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->cp_global_sem.internal_rwsem
LOCK2 &sit_i->sentry_lock
HALF_LOCKED2 &curseg->journal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &sbi->pin_sem.internal_rwsem
HALF_LOCKED2 &sbi->umount_mutex
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct sit_info)->sentry_lock