| PARAM_VALUE |
0 |
cinfo |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->completion_ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->completion_ops->completion |
0,4062113542062690304,7551144312497737728 |
| PARAM_VALUE |
0 |
cinfo->completion_ops->resched_write |
0,370018759710437376,1223883440206647296 |
| PARAM_VALUE |
0 |
cinfo->ds |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->ds->commits.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->ds->commits.next->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->ds->ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
cinfo->ds->ops->mark_request_commit |
5185754661043150848,7341153902848835584 |
| BUF_SIZE |
1 |
req |
(-1)-s32max |
| BUF_SIZE |
1 |
req |
(-1)-s32max |
| DATA_SOURCE |
0 |
cinfo |
$2 |
| DATA_SOURCE |
1 |
req |
$0 |
| STR_LEN |
0 |
cinfo->inode |
(-1) |
| CONTAINER |
0 |
-8-32+0 |
$(-1) |
| NOSPEC |
1 |
req->wb_bytes |
|
| NOSPEC |
1 |
req->wb_head->wb_bytes |
|
| NOSPEC |
1 |
req->wb_this_page->wb_bytes |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
req->wb_bytes |
0-u32max |
| USER_DATA |
1 |
req->wb_head->wb_bytes |
0-4096[c] |
| USER_DATA |
1 |
req->wb_head->wb_index |
0-2251799813685247 |
| USER_DATA |
1 |
req->wb_head->wb_offset |
0-4095[c] |
| USER_DATA |
1 |
req->wb_head->wb_pgbase |
0-4095[c] |
| USER_DATA |
1 |
req->wb_index |
0-2251799813685247 |
| USER_DATA |
1 |
req->wb_offset |
0-2000006655[c] |
| USER_DATA |
1 |
req->wb_pgbase |
0-4095[c] |
| USER_DATA |
1 |
req->wb_this_page->wb_bytes |
0-4096[c] |
| USER_DATA |
1 |
req->wb_this_page->wb_index |
0-2251799813685247 |
| USER_DATA |
1 |
req->wb_this_page->wb_offset |
0-4095[c] |
| USER_DATA |
1 |
req->wb_this_page->wb_pgbase |
0-4095[c] |
| NO_OVERFLOW_SIMPLE |
0 |
cinfo->inode->i_blkbits |
|
| NO_OVERFLOW_SIMPLE |
0 |
cinfo->inode->i_ino |
|
| NO_OVERFLOW_SIMPLE |
0 |
cinfo->inode->i_linklen |
|
| NO_OVERFLOW_SIMPLE |
0 |
cinfo->inode->i_size |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
