Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nftlcore.c NFTL_move_block() -> nftl_write()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 1 offs 0-4294967295
PARAM_VALUE 2 len 512
PARAM_VALUE 3 retlen 122411941083734016
PARAM_VALUE 4 buf 1143209858853588992
PARAM_VALUE 5 oob 7943603224610799616
BUF_SIZE 4 buf 512
BUF_SIZE 5 oob 16
CAPPED_DATA 0 mtd 1
DATA_SOURCE 0 mtd $0
DATA_SOURCE 1 offs $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mbd->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock

drivers/mtd/nftlcore.c nftl_writeblock() -> nftl_write()

Type Parameter Key Value
PARAM_VALUE 2 len 512
PARAM_VALUE 3 retlen 6307695285753372672
PARAM_VALUE 5 oob 7412551989898932224
BUF_SIZE 5 oob 16
CAPPED_DATA 0 mtd 1
DATA_SOURCE 4 buf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mbd->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock