Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/spi/core.c spinand_select_target() -> (struct spinand_device)->select_target()

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,4096-ptr_max
PARAM_VALUE 0 spinand->fact_otp->ops 0,4737938517218734080,8454037686185603072
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->read_retries 0,5
PARAM_VALUE 0 spinand->set_cont_read 0,4096-ptr_max
PARAM_VALUE 0 spinand->set_read_retry 0,4720695281667760128
PARAM_VALUE 0 spinand->user_otp->ops 0,4253456439194705920,8663524968145145856
PARAM_VALUE 1 target 0-4294967294
BUF_SIZE 0 spinand->databuf (-1)-s32max
BUF_SIZE 0 spinand->scratchbuf (-1),6
CAPPED_DATA 1 target 1
DATA_SOURCE 0 spinand $0
DATA_SOURCE 1 target $1
CONTAINER 0 -4056+0 $(-1)
PARAM_COMPARE 0 spinand->cur_target != $1
PARAM_COMPARE 1 target != $0->cur_target
CONSTRAINT 1 target <2716
NOSPEC 1 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]
HOST_DATA 1 target 0-s32max[c]
USER_DATA 0 spinand->cur_target 0-s32max[c]
USER_DATA 0 *spinand->scratchbuf 0-255[c]
USER_DATA 1 target 0-s32max[c]
HALF_LOCKED2 &spinand->lock
HALF_LOCKED2 0 &spinand->lock