Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/nand/spi/core.c spinand_erase() -> spinand_write_enable_op()

Type Parameter Key Value
PARAM_VALUE 0 spinand 4096-ptr_max
PARAM_VALUE 0 spinand->cur_target 0-4294967294
DATA_SOURCE 0 spinand r nand_to_spinand
NOSPEC 0 spinand->cur_target
NOSPEC 0 *spinand->scratchbuf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 spinand->spimem->spi->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 spinand->spimem->spi->controller->dev.driver_data->para 0-255
USER_DATA 0 spinand->cur_target 0-s32max[c]
USER_DATA 0 *spinand->scratchbuf 0-255[c]
LOCK2 &spinand->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct spinand_device)->lock

drivers/mtd/nand/spi/core.c spinand_write_page() -> spinand_write_enable_op()

Type Parameter Key Value
PARAM_VALUE 0 spinand 4096-ptr_max
PARAM_VALUE 0 spinand->cur_target 0-4294967294
PARAM_VALUE 0 spinand->fact_otp->ops 0,4737938517218734080,8454037686185603072
PARAM_VALUE 0 spinand->set_cont_read 0,4096-ptr_max
PARAM_VALUE 0 spinand->user_otp->ops 0,4253456439194705920,8663524968145145856
CAPPED_DATA 0 spinand->cur_target 1
DATA_SOURCE 0 spinand $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 spinand->cur_target 0-s32max[c]
HOST_DATA 0 spinand->op_templates->get_feature->data.buf.in 0-255
HOST_DATA 0 *spinand->scratchbuf 0-255[c]
USER_DATA 0 spinand->cur_target 0-s32max[c]
USER_DATA 0 *spinand->scratchbuf 0-255[c]
HALF_LOCKED2 &spinand->lock
HALF_LOCKED2 0 &spinand->lock
TYPE_LOCK (struct spinand_device)->lock

drivers/mtd/nand/spi/winbond.c w35n0xjw_write_vcr() -> spinand_write_enable_op()

Type Parameter Key Value
PARAM_VALUE 0 spinand 4096-ptr_max
PARAM_VALUE 0 spinand->bus_iface 0-1
PARAM_VALUE 0 spinand->configure_chip 0,2854273061164371968,3781558538168602624
PARAM_VALUE 0 spinand->manufacturer->chips 4096-ptr_max
PARAM_VALUE 0 spinand->manufacturer->id 1,11,44,82,140,152,155,161,194,200-201,205,229,239
PARAM_VALUE 0 spinand->manufacturer->name 4096-ptr_max
PARAM_VALUE 0 spinand->manufacturer->nchips 1-4,10-11,14,17,26-27
PARAM_VALUE 0 spinand->manufacturer->ops 4096-ptr_max
PARAM_VALUE 0 spinand->scratchbuf 4096-ptr_max
PARAM_VALUE 0 *spinand->scratchbuf 8,12,16,20,24,28,199,223,255
BUF_SIZE 0 spinand->databuf (-1)-s32max
BUF_SIZE 0 spinand->scratchbuf (-1),6
DATA_SOURCE 0 spinand $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 spinand->cur_target 0-s32max[c]
HOST_DATA 0 spinand->op_templates->get_feature->data.buf.in 0-255