Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/sm_ftl.c sm_erase_block() -> sm_mkoffset()

Type Parameter Key Value
PARAM_VALUE 0 ftl 4096-ptr_max
PARAM_VALUE 3 boffset 0
BUF_SIZE 0 ftl (-1),264,944
BUF_SIZE 0 ftl (-1),264,944
CAPPED_DATA 0 ftl->block_size 1
CAPPED_DATA 1 zone 1
DATA_SOURCE 0 ftl $0
DATA_SOURCE 1 zone $1
DATA_SOURCE 2 block $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ftl->max_lba
UNITS 1 zone unit_array_size
LOCK2 0 &ftl->mutex
HALF_LOCKED2 &dev->lock
TYPE_LOCK (struct sm_ftl)->mutex

drivers/mtd/sm_ftl.c sm_read_sector() -> sm_mkoffset()

Type Parameter Key Value
PARAM_VALUE 0 ftl 4096-ptr_max
PARAM_VALUE 2 block s32min-(-2),0-s32max
BUF_SIZE 0 ftl (-1),256,264,944
BUF_SIZE 0 ftl (-1),256,264,944
BUF_SIZE 0 ftl->cache_data (-1)-0,4096,8192,16384
BUF_SIZE 0 ftl->trans (-1),352
BUF_SIZE 0 ftl->zones (-1),40-s32max
CAPPED_DATA 1 zone 1
DATA_SOURCE 0 ftl $0
DATA_SOURCE 1 zone $1
DATA_SOURCE 2 block $2
DATA_SOURCE 3 boffset $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ftl->max_lba
NO_OVERFLOW_SIMPLE 0 ftl->zone_count
UNITS 1 zone unit_array_size
UNITS 3 boffset unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 global &mtd_table_mutex
HALF_LOCKED2 0 &ftl->mutex

drivers/mtd/sm_ftl.c sm_write_sector() -> sm_mkoffset()

Type Parameter Key Value
PARAM_VALUE 0 ftl 4096-ptr_max
PARAM_VALUE 0 ftl->block_size 1-s32max
PARAM_VALUE 3 boffset 0,512-2147483646
BUF_SIZE 0 ftl (-1),264,944
BUF_SIZE 0 ftl (-1),264,944
CAPPED_DATA 1 zone 1
CAPPED_DATA 3 boffset 1
DATA_SOURCE 0 ftl $0
DATA_SOURCE 1 zone $1
DATA_SOURCE 2 block $2
DATA_SOURCE 3 boffset $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ftl->max_lba
UNITS 1 zone unit_array_size
UNITS 3 boffset unit_byte
LOCK2 0 &ftl->mutex
HALF_LOCKED2 &dev->lock
TYPE_LOCK (struct sm_ftl)->mutex