| PARAM_VALUE |
0 |
mtd |
4096-ptr_max |
| PARAM_VALUE |
0 |
mtd->_write_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 |
| BUF_SIZE |
0 |
mtd |
(-1),2448 |
| DATA_SOURCE |
0 |
mtd |
r mtd_get_master |
| DATA_SOURCE |
1 |
to |
r mtd_get_master_ofs |
| DATA_SOURCE |
2 |
ops |
$2 |
| CONTAINER |
0 |
-168+0 |
$(-1) |
| PARAM_COMPARE |
1 |
to |
== $1 |
| NOSPEC |
2 |
ops->len |
|
| NOSPEC |
2 |
ops->ooblen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
to |
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 |
to |
0-s64max |
| USER_DATA |
2 |
ops->len |
0-u64max[c] |
| USER_DATA |
2 |
ops->mode |
0-255 |
| USER_DATA |
2 |
ops->ooblen |
0-7529077666386,18446532967477116928-u64max[c] |
| USER_DATA |
2 |
ops->ooboffs |
0-u32max[c] |
| USER_DATA |
2 |
ops->oobretlen |
0-422212464869376,18446740775174669824-u64max |
| USER_DATA |
2 |
ops->retlen |
0-u64max |
| USER_PTR |
2 |
ops->datbuf |
|
| USER_PTR |
2 |
ops->oobbuf |
|
| HALF_LOCKED2 |
|
&dev->lock |
|
| HALF_LOCKED2 |
|
&ftl->mutex |
|
| HALF_LOCKED2 |
|
&master->master.chrdev_lock |
|
| HALF_LOCKED2 |
|
&mbd->lock |
|
