Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/exfat/namei.c exfat_find() -> is_valid_cluster()

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

fs/exfat/balloc.c exfat_clear_bitmap() -> is_valid_cluster()

Type Parameter Key Value
PARAM_VALUE 1 clus 2-4294967294
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 clus $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->bitmap_lock

fs/exfat/balloc.c exfat_set_bitmap() -> is_valid_cluster()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 1 clus 1
DATA_SOURCE 1 clus $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page
HALF_LOCKED2 &sbi->bitmap_lock

fs/exfat/balloc.c exfat_test_bitmap() -> is_valid_cluster()

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 1 clus $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page

fs/exfat/balloc.c exfat_test_bitmap_range() -> is_valid_cluster()

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 1 clus $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/exfat/balloc.c exfat_test_bitmap_range() -> is_valid_cluster()

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

fs/exfat/fatent.c __exfat_free_cluster() -> is_valid_cluster()

Type Parameter Key Value
PARAM_VALUE 1 clus 2-4294967294
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->bitmap_lock

fs/exfat/fatent.c exfat_alloc_cluster() -> is_valid_cluster()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->num_clusters 0-4294967295
PARAM_VALUE 1 clus 0-4294967294
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 0 sbi->used_clusters 1
CAPPED_DATA 0 &sbi->bitmap_lock 1
CAPPED_DATA 1 clus 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page
LOCK2 0 &sbi->bitmap_lock
HALF_LOCKED2 &sbi->s_lock
TYPE_LOCK (struct exfat_sb_info)->bitmap_lock

fs/exfat/fatent.c exfat_ent_get() -> is_valid_cluster()

Type Parameter Key Value
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 clus $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 clus unit_page
HALF_LOCKED2 &sbi->s_lock

fs/exfat/fatent.c exfat_ent_get() -> is_valid_cluster()

Type Parameter Key Value
PARAM_VALUE 0 sbi->num_clusters 3-u32max
PARAM_VALUE 1 clus 1-4294967286
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 0 sbi->num_clusters 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
HALF_LOCKED2 &sbi->s_lock