Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/rfd_ftl.c scan_header() -> build_block_map()

Type Parameter Key Value
PARAM_VALUE 0 part 4096-ptr_max
PARAM_VALUE 0 part->block_size 1-u32max
PARAM_VALUE 0 part->blocks 4096-ptr_max
PARAM_VALUE 0 part->current_block (-1)
PARAM_VALUE 0 part->data_sectors_per_block 0-8388606,4294934527-u32max
PARAM_VALUE 0 part->header_cache 4096-ptr_max
PARAM_VALUE 0 part->header_sectors_per_block 1-32769
PARAM_VALUE 0 part->header_size 6-4000000
PARAM_VALUE 0 part->is_reclaiming 0
PARAM_VALUE 0 part->mbd.mtd 4096-ptr_max
PARAM_VALUE 0 part->reserved_block (-1)-s32max
PARAM_VALUE 0 part->sector_count 0-s32max
PARAM_VALUE 0 part->sector_map 1-u64max
PARAM_VALUE 0 part->total_blocks 2-u32max
PARAM_VALUE 1 block_no 0-s32max
BUF_SIZE 0 part 424
BUF_SIZE 0 part->blocks 48-103079215080
BUF_SIZE 0 part->header_cache 6-16777218
BUF_SIZE 0 part->mbd.mtd (-1),2448,2984
BUF_SIZE 0 part->sector_map 8
CAPPED_DATA 0 part->data_sectors_per_block 1
CAPPED_DATA 0 part->header_size 1
CAPPED_DATA 0 part->mbd.mtd 1
CAPPED_DATA 0 part->sector_count 1
CAPPED_DATA 1 block_no 1
DATA_SOURCE 0 part $0
FUZZY_MAX 0 part->total_blocks 2
FUZZY_MAX 1 block_no 0
STR_LEN 0 part->mbd.mtd (-1),18
STR_LEN 0 part->mbd.mtd->dev.driver_data (-1)
STR_LEN 0 part->mbd.mtd->name (-1)
STR_LEN 0 part->mbd.mtd->parent (-1)
PARAM_COMPARE 1 block_no < $0->total_blocks
BIT_INFO 0 part->header_size 0x0,0x1ffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 part->block_size
NO_OVERFLOW_SIMPLE 0 part->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE 0 part->total_blocks
NO_OVERFLOW_SIMPLE 1 block_no
UNITS 1 block_no unit_array_size
LOCK2 global &mtd_table_mutex