Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fat/fatent.c fat_alloc_clusters() -> (struct fatent_operations)->ent_get()

Type Parameter Key Value
PARAM_VALUE 0 fatent 7530815345561083904
PARAM_VALUE 0 fatent->entry s32min-(-2),0-s32max
PARAM_VALUE 0 fatent->nr_bhs 1-2
PARAM_VALUE 0 fatent->u.ent32_p 0-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat_count_free_clusters() -> (struct fatent_operations)->ent_get()

Type Parameter Key Value
PARAM_VALUE 0 fatent 313574442044534784
PARAM_VALUE 0 fatent->entry s32min-(-2),0-s32max
PARAM_VALUE 0 fatent->nr_bhs 1-2
PARAM_VALUE 0 fatent->u.ent16_p 0-ptr_max
PARAM_VALUE 0 fatent->u.ent32_p 0-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->fat_lock
HALF_LOCKED2 &s->s_umount
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat_ent_read() -> (struct fatent_operations)->ent_get()

Type Parameter Key Value
PARAM_VALUE 0 fatent 4976678483710271488,7783793147769298944,7810497827335815168,9210033353118736384
PARAM_VALUE 0 fatent->entry 2-s32max
PARAM_VALUE 0 fatent->nr_bhs 0-2
PARAM_VALUE 0 fatent->u.ent32_p 0,4096-ptr_max
PARAM_VALUE 0 *fatent->u.ent32_p 0-255
DATA_SOURCE 0 fatent $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat_trim_fs() -> (struct fatent_operations)->ent_get()

Type Parameter Key Value
PARAM_VALUE 0 fatent 5185091669368143872
PARAM_VALUE 0 fatent->nr_bhs 1-2
PARAM_VALUE 0 fatent->u.ent32_p 0-ptr_max
CAPABLE 0 21
NOSPEC 0 fatent->entry
USER_DATA 0 fatent->entry 5-s32max[c]
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock