Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/inftlmount.c INFTL_formatblock() -> inftl_write_oob()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 1 offs 8-4294967303
PARAM_VALUE 2 len 8
PARAM_VALUE 3 retlen 6511258512500957184
PARAM_VALUE 4 buf 7297681592522403840
BUF_SIZE 0 mtd (-1),2448,2984
BUF_SIZE 0 mtd (-1),2448,2984
BUF_SIZE 4 buf 8
CAPPED_DATA 1 offs 1
STR_LEN 0 mtd->dev.driver_data (-1)
STR_LEN 0 mtd->name (-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mtd->erasesize
UNITS 1 offs unit_byte
HALF_LOCKED2 &mbd->lock
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/inftlcore.c INFTL_deleteblock() -> inftl_write_oob()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 2 len 8
PARAM_VALUE 3 retlen 2614042561279496192
PARAM_VALUE 4 buf 1548298580768071680
BUF_SIZE 4 buf 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mbd->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock

drivers/mtd/inftlcore.c INFTL_findwriteunit() -> inftl_write_oob()

Type Parameter Key Value
PARAM_VALUE 1 offs 0-4294967295
PARAM_VALUE 2 len 8
PARAM_VALUE 3 retlen 1627647603739353088
PARAM_VALUE 4 buf 4447716077781471240
BUF_SIZE 4 buf 8
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/inftlcore.c INFTL_findwriteunit() -> inftl_write_oob()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 1 offs 0-4294967295
PARAM_VALUE 2 len 8
PARAM_VALUE 3 retlen 1627647603739353088
PARAM_VALUE 4 buf 4447716077781471240
BUF_SIZE 4 buf 8
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