lpc32xx_waitfunc_controller identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/mtd/nand/raw/lpc32xx_mlc.c, line 341 (as a function)

Referenced in 1 files:

drivers/mtd/nand/raw/lpc32xx_mlc.c

Smatch caller information:

drivers/mtd/nand/raw/lpc32xx_mlc.c lpc32xx_read_page() -> lpc32xx_waitfunc_controller()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->base.ops->erase	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->isbad	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->markbad	0,4096-ptr_max
PARAM_VALUE	0	chip->manufacturer.desc->id	1,4,7,32,44,69,137,143,146,152,155,173,194,200,236,239
PARAM_VALUE	0	*chip->bbt_md->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_md->version	0-255
PARAM_VALUE	0	*chip->bbt_td->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_td->version	0-255
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
NOCHECK_CALL
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/lpc32xx_mlc.c lpc32xx_waitfunc() -> lpc32xx_waitfunc_controller()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->base.ops->erase	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->isbad	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->markbad	0,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->manufacturer.desc->id	1,4,7,32,44,69,137,143,146,152,155,173,194,200,236,239
PARAM_VALUE	0	chip->priv	4096-ptr_max
PARAM_VALUE	0	chip->priv->comp_nand.done	0-4294967293,4294967295
PARAM_VALUE	0	chip->priv->comp_nand.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	chip->priv->comp_nand.wait.lock.owner	(-1)
PARAM_VALUE	0	chip->priv->comp_nand.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	*chip->bbt_md->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_md->version	0-255
PARAM_VALUE	0	*chip->bbt_td->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_td->version	0-255
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
NOCHECK_CALL
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/lpc32xx_mlc.c lpc32xx_write_page_lowlevel() -> lpc32xx_waitfunc_controller()

Type	Parameter	Key	Value
PARAM_VALUE	0	chip	4096-ptr_max
PARAM_VALUE	0	chip->base.ops->erase	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->isbad	0,4096-ptr_max
PARAM_VALUE	0	chip->base.ops->markbad	0,4545526569871687680,7841708234825457664
PARAM_VALUE	0	chip->manufacturer.desc->id	1,4,7,32,44,69,137,143,146,152,155,173,194,200,236,239
PARAM_VALUE	0	*chip->bbt_md->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_md->version	0-255
PARAM_VALUE	0	*chip->bbt_td->pages	s32min-s32max
PARAM_VALUE	0	*chip->bbt_td->version	0-255
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
NO_OVERFLOW_SIMPLE	0	chip->nr_secure_regions
HALF_LOCKED2	0	&chip->controller->lock
HALF_LOCKED2	0	&chip->lock