nand_has_exec_op identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/mtd/nand/raw/internals.h, line 115 (as a function)

Referenced in 9 files:

Smatch caller information:

drivers/mtd/nand/raw/nand_micron.c micron_nand_on_die_ecc_status_4() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_micron.c micron_nand_read_page_on_die_ecc() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops->exec_op	0,4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->priv->curr_column	s32min-s32max[c]
HOST_DATA	0	chip->priv->curr_page_addr	1-s32max[c]
HOST_DATA	0	chip->priv->offset	0-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->priv->curr_column	s32min-s32max[c]
USER_DATA	0	chip->priv->curr_page_addr	0-s32max[c]
USER_DATA	0	chip->priv->offset	0-s32max[c]
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_jedec.c nand_jedec_detect() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops->exec_op	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->priv->curr_column	s32min-s32max[c]
HOST_DATA	0	chip->priv->curr_page_addr	1-s32max[c]
HOST_DATA	0	chip->priv->offset	0-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_base.c nand_change_read_column_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72,144
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0
HOST_DATA	0	chip->controller->supported_op.data_only_read	0
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
USER_PTR	0	chip->data_buf
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_change_write_column_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_check_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
NO_OVERFLOW_SIMPLE	0	chip->pagecache.bitflips
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_erase_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2		&spinand->lock
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_exec_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704,4088
BUF_SIZE	0	chip	(-1),3704,4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72,144
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
NO_OVERFLOW_SIMPLE	0	chip->pagecache.bitflips
USER_PTR	0	chip->data_buf
HALF_LOCKED2		&chip->controller->lock
HALF_LOCKED2		&chip->lock
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_exit_status_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
USER_PTR	0	chip->data_buf
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_get_features_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cur_cs	1-s32max[c]
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_prog_page_begin_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_prog_page_end_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_prog_page_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_read_data_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops->exec_op	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72,144
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0
HOST_DATA	0	chip->controller->supported_op.data_only_read	0
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
NO_OVERFLOW_SIMPLE	0	chip->pagecache.bitflips
USER_PTR	0	chip->data_buf
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_read_oob_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_read_page_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
NO_OVERFLOW_SIMPLE	0	chip->pagecache.bitflips
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_read_param_page_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0
HOST_DATA	0	chip->controller->supported_op.data_only_read	0
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_base.c nand_readid_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->cur_cs

drivers/mtd/nand/raw/nand_base.c nand_reset_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704,4088
BUF_SIZE	0	chip	(-1),3704,4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72,144
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->cur_cs
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_set_features_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_soft_waitrdy() -> nand_has_exec_op()

Type	Parameter	Key	Value
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
USER_PTR	0	chip->data_buf
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_status_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops->exec_op	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
USER_PTR	0	chip->data_buf
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c nand_wait_rdy_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
BIT_INFO	0	chip->options	0x100,0xffffffffffffffff
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->oob_poi	0-255
LOCK2		&chip->controller->lock
LOCK2		&chip->lock
LOCK2	0	&chip->controller->lock
LOCK2	0	&chip->lock
TYPE_LOCK		(struct nand_chip)->lock
TYPE_LOCK		(struct nand_controller)->lock

drivers/mtd/nand/raw/nand_base.c nand_write_data_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip	(-1),3704
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
CAPPED_DATA	0	chip	1
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_base.c rawnand_early_check_supported_ops() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_base.c rawnand_late_check_supported_ops() -> nand_has_exec_op()

Type	Key	Value
PARAM_VALUE	chip	4096-ptr_max
PARAM_VALUE	chip->controller	4096-ptr_max
DATA_SOURCE	chip	$0

drivers/mtd/nand/raw/nand_legacy.c nand_legacy_check_hooks() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	1-u64max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->current_interface_config	1152
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_legacy.c nand_legacy_set_defaults() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	1-u64max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->controller->ops	(-1),32
BUF_SIZE	0	chip->current_interface_config	(-1),1152
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_onfi.c nand_onfi_detect() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	0,4096-ptr_max
PARAM_VALUE	0	chip->controller->ops->exec_op	0,4096-ptr_max
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip	(-1),4088
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1),72
BUF_SIZE	0	chip->bbt_td	(-1),72,144
BUF_SIZE	0	chip->legacy.dummy_controller.ops	(-1),32
BUF_SIZE	0	chip->priv	(-1),4008
CAPPED_DATA	0	chip->cur_cs	1
CAPPED_DATA	0	chip->id.len	1
DATA_SOURCE	0	chip	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->controller->controller_wp	0
HOST_DATA	0	chip->controller->lock.osq.tail.counter	0
HOST_DATA	0	chip->controller->lock.owner.counter	0
HOST_DATA	0	chip->controller->supported_op.cont_read	0-1
HOST_DATA	0	chip->controller->supported_op.data_only_read	0-1
HOST_DATA	0	chip->priv->curr_column	s32min-s32max[c]
HOST_DATA	0	chip->priv->curr_page_addr	1-s32max[c]
HOST_DATA	0	chip->priv->offset	0-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/mtd/nand/raw/nand_toshiba.c nand_exec_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	4096-ptr_max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1)
STR_LEN	0	chip->bbt_td->pattern	(-1)
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	chip->pagecache.page	s32min-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->pagecache.page	s32min-s32max
USER_DATA	0	*chip->oob_poi	0-255
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_toshiba.c toshiba_nand_benand_read_eccstatus_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
BUF_SIZE	0	chip->badblock_pattern	(-1),72
BUF_SIZE	0	chip->bbt_md	(-1)-0,72
BUF_SIZE	0	chip->bbt_md->pattern	(-1),9
BUF_SIZE	0	chip->bbt_td	(-1)-0,72
BUF_SIZE	0	chip->bbt_td->pattern	(-1),9
BUF_SIZE	0	chip->controller	(-1),168
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
STR_LEN	0	chip->bbt_md->pattern	(-1),8
STR_LEN	0	chip->bbt_td->pattern	(-1),8
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cont_read.pause_page	2-4147480570[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
HOST_DATA	0	*chip->data_buf	0-255
HOST_DATA	0	*chip->oob_poi	0-255
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	chip->ecc.postpad
NO_OVERFLOW_SIMPLE	0	chip->ecc.prepad
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_macronix.c nand_exec_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	4096-ptr_max
DATA_SOURCE	0	chip	$0
HALF_LOCKED2		_T->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_macronix.c nand_power_down_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
DATA_SOURCE	0	chip	$0
HALF_LOCKED2		_T->lock
HALF_LOCKED2	0	&chip->lock

drivers/mtd/nand/raw/nand_hynix.c hynix_nand_cmd_op() -> nand_has_exec_op()

Type	Key	Value
PARAM_VALUE	chip	4096-ptr_max
BUF_SIZE	chip->data_buf	(-1)-s32max
DATA_SOURCE	chip	$0

drivers/mtd/nand/raw/nand_hynix.c hynix_nand_reg_write_op() -> nand_has_exec_op()

Type	Key	Value
PARAM_VALUE	chip	4096-ptr_max
PARAM_VALUE	chip->controller	0,4096-ptr_max
BUF_SIZE	chip->data_buf	(-1)-s32max
DATA_SOURCE	chip	$0

drivers/mtd/nand/raw/nand_hynix.c nand_exec_op() -> nand_has_exec_op()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->controller	4096-ptr_max
PARAM_VALUE	0	chip->controller->ops	4096-ptr_max
BUF_SIZE	0	chip->data_buf	(-1)-s32max
DATA_SOURCE	0	chip	$0
NOSPEC	0	chip->cur_cs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	chip->cont_read.first_page	1-s32max[c]
HOST_DATA	0	chip->cur_cs	1-s32max[c]
USER_DATA	0	chip->cont_read.first_page	1-s32max[c]
USER_DATA	0	chip->cur_cs	1-s32max[c]
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock