Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/nand/raw/atmel/pmecc.c atmel_pmecc_correct_sector() -> get_sectorsize()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
DATA_SOURCE 0 user $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 user->cache.cfg 0-u32max
HOST_DATA 0 user->cache.eaddr 0-u32max
HOST_DATA 0 user->cache.saddr 0-u32max
HOST_DATA 0 user->cache.sarea 0-u32max
HOST_DATA 0 user->eccbytes s32min-s32max
HOST_DATA 0 user->isr 0-u32max
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/atmel/pmecc.c atmel_pmecc_err_location() -> get_sectorsize()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
DATA_SOURCE 0 user $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 user->cache.cfg 0-u32max
HOST_DATA 0 user->cache.eaddr 0-u32max
HOST_DATA 0 user->cache.saddr 0-u32max
HOST_DATA 0 user->cache.sarea 0-u32max
HOST_DATA 0 user->eccbytes s32min-s32max
HOST_DATA 0 user->isr 0-u32max
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/atmel/pmecc.c atmel_pmecc_get_sigma() -> get_sectorsize()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
DATA_SOURCE 0 user $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 user->cache.cfg 0-u32max
HOST_DATA 0 user->cache.eaddr 0-u32max
HOST_DATA 0 user->cache.saddr 0-u32max
HOST_DATA 0 user->cache.sarea 0-u32max
HOST_DATA 0 user->eccbytes s32min-s32max
HOST_DATA 0 user->isr 0-u32max
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/atmel/pmecc.c atmel_pmecc_substitute() -> get_sectorsize()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
DATA_SOURCE 0 user $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 user->cache.cfg 0-u32max
HOST_DATA 0 user->cache.eaddr 0-u32max
HOST_DATA 0 user->cache.saddr 0-u32max
HOST_DATA 0 user->cache.sarea 0-u32max
HOST_DATA 0 user->eccbytes s32min-s32max
HOST_DATA 0 user->isr 0-u32max
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/scsi/sr.c sr_revalidate_disk() -> get_sectorsize()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->cdi.handle 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->generic_packet 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->get_mcn 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->lock_door 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->open 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->release 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->reset 4096-ptr_max
PARAM_VALUE 0 user->cdi.ops->tray_move 4096-ptr_max
PARAM_VALUE 0 user->device 4096-ptr_max
PARAM_VALUE 0 user->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 user->device->sdev_gendev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 user s32min-(-2),1-s32max
BUF_SIZE 0 user s32min-(-2),1-s32max
BUF_SIZE 0 user->disk (-1),2000
DATA_SOURCE 0 user $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 user->cdi.disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 user->cdi.disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 user->disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 user->disk->bio_split.bvec_pool.min_nr
UNITS 0 user unit_byte
HALF_LOCKED2 &disk->open_mutex