Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/core.c nanddev_isbad() -> (struct nand_ops)->isbad()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->bbt.cache 1-u64max
PARAM_VALUE 0 nand->ops 4096-ptr_max
PARAM_VALUE 1 pos 3002645948086362112,7440426648030420992,7842519832191152128
DATA_SOURCE 0 nand $0
DATA_SOURCE 1 pos $1
CONTAINER 0 -16-2632+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos->eraseblock 0-4294967294[c]
USER_DATA 1 pos->lun 0-4294967294[c]
USER_DATA 1 pos->page 0-4294967294[c]
USER_DATA 1 pos->plane 0-4294967294[c]
USER_DATA 1 pos->target 0-u32max[c]
LOCK2 &spinand->lock
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct spinand_device)->lock

drivers/mtd/nand/core.c nanddev_isbad() -> (struct nand_ops)->isbad()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->bbt.cache 0
PARAM_VALUE 0 nand->ops 4096-ptr_max
PARAM_VALUE 1 pos 3002645948086362112,7440426648030420992,7842519832191152128
DATA_SOURCE 0 nand $0
DATA_SOURCE 1 pos $1
CONTAINER 0 -16-2632+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos->eraseblock 0-4294967294[c]
USER_DATA 1 pos->lun 0-4294967294[c]
USER_DATA 1 pos->page 0-4294967294[c]
USER_DATA 1 pos->plane 0-4294967294[c]
USER_DATA 1 pos->target 0-u32max[c]
LOCK2 &spinand->lock
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct spinand_device)->lock