Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/mtdswap.c mtdswap_write_block() -> mtdswap_map_free_block()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 2 block 2307297857408053248,7488544006957236224
BUF_SIZE 0 d 264,944
BUF_SIZE 0 d 264,944
DATA_SOURCE 0 d $0
DATA_SOURCE 1 page $2
DATA_SOURCE 2 block $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock