Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/nand/spi/core.c spinand_mtd_read() -> spinand_mtd_regular_page_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mtd | 4096-ptr_max |
| PARAM_VALUE | 0 | mtd->_read_oob | 1-u64max |
| PARAM_VALUE | 0 | mtd->parent | 0 |
| PARAM_VALUE | 0 | mtd->parent->parent | 0 |
| PARAM_VALUE | 2 | ops | 4096-ptr_max |
| PARAM_VALUE | 2 | ops->mode | 0-s32max |
| PARAM_VALUE | 2 | ops->oobbuf | 0 |
| PARAM_VALUE | 2 | ops->ooblen | 0 |
| PARAM_VALUE | 2 | ops->stats | 0,4096-ptr_max |
| PARAM_VALUE | 3 | max_bitflips | 210396373981179904 |
| PARAM_VALUE | 3 | *max_bitflips | 0-s32max |
| BUF_SIZE | 0 | mtd | (-1),2448 |
| BUF_SIZE | 0 | mtd | (-1),2448 |
| BUF_SIZE | 2 | ops->datbuf | (-1)-s32max |
| BUF_SIZE | 2 | ops->stats | (-1),12 |
| DATA_SOURCE | 0 | mtd | $0 |
| DATA_SOURCE | 1 | from | $1 |
| DATA_SOURCE | 2 | ops | $2 |
| NOSPEC | 2 | ops->ooblen | |
| NOSPEC | 2 | ops->retlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | from | 0-5294967294[c] |
| HOST_DATA | 2 | ops->len | 0-u64max[c] |
| HOST_DATA | 2 | ops->ooblen | 0[c] |
| HOST_DATA | 2 | ops->oobretlen | 1-17592186028032,18446744071562067968-u64max[c] |
| HOST_DATA | 2 | ops->retlen | 0-157121500839936,18446744071562067968-u64max[c] |
| USER_DATA | 1 | from | 0-s64max |
| USER_DATA | 2 | ops->len | 0-u64max[c] |
| USER_DATA | 2 | ops->mode | 0-255 |
| USER_DATA | 2 | ops->ooblen | 0[c] |
| USER_DATA | 2 | ops->ooboffs | 0-u32max[c] |
| USER_DATA | 2 | ops->oobretlen | 0-211106232434688,18446744069414584321-u64max |
| USER_DATA | 2 | ops->retlen | 0-u64max |
| USER_PTR | 2 | ops->datbuf | |
| USER_PTR | 2 | ops->oobbuf | |
| LOCK2 | &spinand->lock | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | global &mtd_table_mutex | ||
| TYPE_LOCK | (struct spinand_device)->lock |
drivers/mtd/nand/spi/core.c spinand_mtd_read() -> spinand_mtd_regular_page_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mtd | 4096-ptr_max |
| PARAM_VALUE | 0 | mtd->_read_oob | 1-u64max |
| PARAM_VALUE | 0 | mtd->parent | 0 |
| PARAM_VALUE | 0 | mtd->parent->parent | 0 |
| PARAM_VALUE | 2 | ops | 4096-ptr_max |
| PARAM_VALUE | 2 | ops->mode | 0-255 |
| PARAM_VALUE | 2 | ops->stats | 0,4096-ptr_max |
| PARAM_VALUE | 3 | max_bitflips | 210396373981179904 |
| PARAM_VALUE | 3 | *max_bitflips | 0 |
| BUF_SIZE | 0 | mtd | (-1),2448 |
| BUF_SIZE | 0 | mtd | (-1),2448 |
| BUF_SIZE | 2 | ops->datbuf | (-1)-s32max |
| BUF_SIZE | 2 | ops->stats | (-1),12 |
| DATA_SOURCE | 0 | mtd | $0 |
| DATA_SOURCE | 1 | from | $1 |
| DATA_SOURCE | 2 | ops | $2 |
| NOSPEC | 2 | ops->ooblen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | from | 0-5294967294[c] |
| HOST_DATA | 2 | ops->len | 0-u64max[c] |
| HOST_DATA | 2 | ops->ooblen | 0-4095[c] |
| HOST_DATA | 2 | ops->oobretlen | 1-17592186028032,18446744071562067968-u64max[c] |
| HOST_DATA | 2 | ops->retlen | 0-157121500839936,18446744071562067968-u64max[c] |
| USER_DATA | 1 | from | 0-s64max |
| USER_DATA | 2 | ops->len | 0-u64max[c] |
| USER_DATA | 2 | ops->mode | 0-255 |
| USER_DATA | 2 | ops->ooblen | 0-4481798371294,18446638520593334272-u64max[c] |
| USER_DATA | 2 | ops->ooboffs | 0-u32max[c] |
| USER_DATA | 2 | ops->oobretlen | 0-211106232434688,18446744069414584321-u64max |
| USER_DATA | 2 | ops->retlen | 0-u64max |
| USER_PTR | 2 | ops->datbuf | |
| USER_PTR | 2 | ops->oobbuf | |
| LOCK2 | &spinand->lock | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &master->master.chrdev_lock | ||
| HALF_LOCKED2 | global &mtd_table_mutex | ||
| TYPE_LOCK | (struct spinand_device)->lock |