Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/spi/core.c spinand_upd_cfg() -> spinand_set_cfg()

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->cur_target 0-4294967294
PARAM_VALUE 0 spinand->fact_otp->ops 0,4096-ptr_max
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->manufacturer->ops->init 0,770104134814105600,1021181048368128000,2113278326372425728,5188996736995045376,6482948276200480768
PARAM_VALUE 0 spinand->set_cont_read 0,4096-ptr_max
PARAM_VALUE 0 spinand->user_otp->ops 0,4096-ptr_max
BUF_SIZE 0 spinand->databuf (-1)-s32max
BUF_SIZE 0 spinand->scratchbuf (-1),6
CAPPED_DATA 0 spinand->cur_target 1
DATA_SOURCE 0 spinand $0
CONSTRAINT 0 spinand->cur_target <2716
NOSPEC 0 spinand->cur_target
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]
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 0 &spinand->lock