Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/fat/fatent.c fat_alloc_clusters() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 7530815345561083904
PARAM_VALUE 0 fatent->nr_bhs 0-2
PARAM_VALUE 0 fatent->u.ent32_p 0-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/fatent.c fat_count_free_clusters() -> fatent_brelse()

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

fs/fat/fatent.c fat_ent_read() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 4976678483710271488,7783793147769298944,7810497827335815168,9210033353118736384
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
DATA_SOURCE 0 fatent $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat_ent_read() -> fatent_brelse()

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

fs/fat/fatent.c fat_ent_read_block() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 313574442044534784,5185091669368143872,7530815345561083904
PARAM_VALUE 0 fatent->nr_bhs 0-2
PARAM_VALUE 0 fatent->u.ent32_p 0-ptr_max
DATA_SOURCE 0 fatent $1
NOSPEC 0 fatent->entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fatent->entry 5-s32max[c]
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat_free_clusters() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 4976678483710271488
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat_trim_fs() -> fatent_brelse()

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
NOCHECK_CALL
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat_trim_fs() -> fatent_brelse()

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

fs/fat/file.c fat_free() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 7810497827335815168
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/file.c fat_free() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 7810497827335815168
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/cache.c fat_get_cluster() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 7783793147769298944
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/misc.c fat_chain_add() -> fatent_brelse()

Type Parameter Key Value
PARAM_VALUE 0 fatent 9210033353118736384
PARAM_VALUE 0 fatent->entry 0
PARAM_VALUE 0 fatent->fat_inode 0
PARAM_VALUE 0 fatent->nr_bhs 0
PARAM_VALUE 0 fatent->u.ent32_p 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL