Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/devices/docg3.c doc_block_isbad() -> calc_block_sector()

Type Parameter Key Value
PARAM_VALUE 1 block0 8479379805459488768
PARAM_VALUE 2 block1 7892186595210530816
PARAM_VALUE 3 page 812156091839709184
PARAM_VALUE 4 ofs 2026386412199784448
DATA_SOURCE 0 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 from s64min-s64max[c]
HALF_LOCKED2 &master->master.chrdev_lock

drivers/mtd/devices/docg3.c doc_erase() -> calc_block_sector()

Type Parameter Key Value
PARAM_VALUE 1 block0 131351823441977344
PARAM_VALUE 2 block1 1347265831540117504
PARAM_VALUE 3 page 2369498682540244992
PARAM_VALUE 4 ofs 5842888937432657920
PARAM_VALUE 4 *ofs 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 from unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/devices/docg3.c doc_erase() -> calc_block_sector()

Type Parameter Key Value
PARAM_VALUE 1 block0 131351823441977344
PARAM_VALUE 2 block1 1347265831540117504
PARAM_VALUE 3 page 2369498682540244992
PARAM_VALUE 3 *page 0
PARAM_VALUE 4 ofs 5842888937432657920
PARAM_VALUE 4 *ofs 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 from s64min-(-2),0-s64max
UNITS 0 from unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/devices/docg3.c doc_read_oob() -> calc_block_sector()

Type Parameter Key Value
PARAM_VALUE 1 block0 2619027179813650432
PARAM_VALUE 2 block1 1400676249587408896
PARAM_VALUE 3 page 1638588255951044608
PARAM_VALUE 4 ofs 9165626171744563200
PARAM_VALUE 4 *ofs 0,528
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 from (-511)-5294967806[c]
UNITS 0 from unit_byte
LOCK2 &docg3->cascade->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct docg3_cascade)->lock

drivers/mtd/devices/docg3.c doc_write_page() -> calc_block_sector()

Type Parameter Key Value
PARAM_VALUE 1 block0 1672166160357793792
PARAM_VALUE 2 block1 7936453934052769792
PARAM_VALUE 3 page 1584667477726547968
PARAM_VALUE 4 ofs 1299935975065022464
PARAM_VALUE 4 *ofs 0
DATA_SOURCE 0 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 from 0-5294967806[c]
USER_DATA 0 from 0-s64max
LOCK2 &docg3->cascade->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock
TYPE_LOCK (struct docg3_cascade)->lock