Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/fat/fatent.c fat_ent_access_init() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 5024
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/fatent.c mark_fsinfo_dirty() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &sbi->fat_lock

fs/fat/nfs.c fat_get_start() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 0 sbi $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &child_dir->d_lockref.lock

fs/fat/dir.c fat_add_entries() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte

fs/fat/dir.c fat_dir_readahead() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &dir->i_rwsem

fs/fat/dir.c fat_get_start() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 0 sbi $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &child_dir->d_lockref.lock

fs/fat/inode.c fat_fill_super() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->fat_bits 0,32
BUF_SIZE 0 sbi 5024
DATA_SOURCE 0 sbi r _kzalloc_noprof
FUZZY_MAX 0 sbi->fat_bits 32
BIT_INFO 0 sbi->fat_bits 0x0,0x20
BIT_INFO 0 sbi->fat_length 0x0,0xffffffff
HARD_MAX 0 sbi->fat_bits 32
MEM_ZERO 0 &sbi->ratelimit
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/inode.c fat_fill_super() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->fat_bits 0,32
BUF_SIZE 0 sbi 5024
CAPPED_DATA 0 sbi->data_start 1
DATA_SOURCE 0 sbi r _kzalloc_noprof
FUZZY_MAX 0 sbi->fat_bits 32
BIT_INFO 0 sbi->fat_bits 0x0,0x20
BIT_INFO 0 sbi->fat_length 0x0,0xffffffff
HARD_MAX 0 sbi->fat_bits 32
MEM_ZERO 0 &sbi->ratelimit
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/inode.c fat_fill_super() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->fat_bits 12,32
BUF_SIZE 0 sbi 5024
CAPPED_DATA 0 sbi->data_start 1
DATA_SOURCE 0 sbi r _kzalloc_noprof
FUZZY_MAX 0 sbi->fat_bits 32
BIT_INFO 0 sbi->fat_bits 0x0,0x2c
BIT_INFO 0 sbi->fat_length 0x0,0xffffffff
HARD_MAX 0 sbi->fat_bits 32
MEM_ZERO 0 &sbi->ratelimit
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/inode.c fat_get_start() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 0 sbi $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte

fs/fat/inode.c fat_read_root() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/inode.c fat_set_state() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi (-1),4416,5024
BUF_SIZE 0 sbi (-1),4416,5024
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte

fs/fat/inode.c max_fat() -> is_fat32()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 5024
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/cache.c fat_bmap() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte

fs/fat/misc.c fat_clusters_flush() -> is_fat32()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &inode->i_rwsem