Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 4865607499645849600
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 7530815345561083904
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 313574442044534784
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_free_clusters() -> fatent_init()

Type Parameter Key Value
PARAM_VALUE 0 fatent 4976678483710271488
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 5185091669368143872
CAPABLE 0 21
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 7810497827335815168
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 7783793147769298944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fatent 9210033353118736384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL