| 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 |
| BUF_SIZE |
0 |
mtd |
(-1),2448,2984 |
| BUF_SIZE |
0 |
mtd |
(-1),2448,2984 |
| BUF_SIZE |
2 |
ops->oobbuf |
(-1)-s32max |
| DATA_SOURCE |
0 |
mtd |
r mtd_get_master |
| DATA_SOURCE |
1 |
from |
r mtd_get_master_ofs |
| DATA_SOURCE |
2 |
ops |
$2 |
| CONTAINER |
0 |
-160+0 |
$(-1) |
| PARAM_COMPARE |
1 |
from |
== $1 |
| NOSPEC |
2 |
ops->len |
|
| 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-s32max[c] |
| HOST_DATA |
2 |
ops->oobretlen |
1-35184372056064,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-5080946308806,18446532967477116928-u64max[c] |
| USER_DATA |
2 |
ops->ooboffs |
0-u32max[c] |
| USER_DATA |
2 |
ops->oobretlen |
0-422212464869376,18446744069414584321-u64max |
| USER_DATA |
2 |
ops->retlen |
0-u64max |
| USER_PTR |
2 |
ops->datbuf |
|
| USER_PTR |
2 |
ops->oobbuf |
|
| HALF_LOCKED2 |
|
&dev->lock |
|
| HALF_LOCKED2 |
|
&master->master.chrdev_lock |
|
| HALF_LOCKED2 |
|
global &mtd_table_mutex |
|
