| PARAM_VALUE |
0 |
ac |
1-u64max |
| PARAM_VALUE |
1 |
ar |
116244921206992896,5167345821716054016,7999433576905392128 |
| PARAM_VALUE |
1 |
ar->flags |
0,32,64-u32max |
| PARAM_VALUE |
1 |
ar->inode |
4096-ptr_max |
| PARAM_VALUE |
1 |
ar->inode->i_sb |
4096-ptr_max |
| PARAM_VALUE |
1 |
ar->inode->i_sb->s_cop->inode_info_offs |
1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE |
1 |
ar->pleft |
0-281474976743422,u64max |
| PARAM_VALUE |
1 |
ar->pright |
0-281474976710655 |
| DATA_SOURCE |
0 |
ac |
r kmem_cache_alloc_noprof |
| DATA_SOURCE |
1 |
ar |
$1 |
| NOSPEC |
1 |
ar->len |
|
| NOSPEC |
1 |
ar->lleft |
|
| NOSPEC |
1 |
ar->logical |
|
| NOSPEC |
1 |
ar->lright |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
ar->goal |
0-281479271677950,18446744069414584323-u64max |
| USER_DATA |
1 |
ar->inode->i_blocks |
0-18014398515341359,18428729675200069633-u64max |
| USER_DATA |
1 |
ar->inode->i_bytes |
0-65023[c] |
| USER_DATA |
1 |
ar->len |
0-u32max[c] |
| USER_DATA |
1 |
ar->lleft |
0-4294967294 |
| USER_DATA |
1 |
ar->logical |
0-4294967294 |
| USER_DATA |
1 |
ar->lright |
0-4294967294 |
