| PARAM_VALUE |
0 |
osb |
4096-ptr_max |
| PARAM_VALUE |
0 |
osb->journal->j_trans_barrier.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
osb->journal->j_trans_barrier.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
osb->osb_tl_inode->i_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
osb->osb_tl_inode->i_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
osb->sys_root_inode->i_op->readlink |
0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE |
1 |
wc |
4096-ptr_max |
| PARAM_VALUE |
1 |
wc->w_dealloc.c_first_suballocator |
0 |
| PARAM_VALUE |
1 |
wc->w_dealloc.c_global_allocator |
0 |
| PARAM_VALUE |
1 |
wc->w_di_bh |
s64min-(-4096),4096-s64max |
| PARAM_VALUE |
1 |
wc->w_di_bh->b_data |
4096-ptr_max |
| PARAM_VALUE |
1 |
wc->w_first_new_cpos |
0-4294967295 |
| PARAM_VALUE |
1 |
wc->w_handle->h_transaction->t_journal->j_superblock->s_errno |
0-4294967187,4294967189-u32max |
| PARAM_VALUE |
1 |
wc->w_large_pages |
0-1 |
| PARAM_VALUE |
1 |
wc->w_type |
0-2 |
| PARAM_VALUE |
4 |
alloc |
0-1 |
| BUF_SIZE |
0 |
osb |
1-s32max |
| BUF_SIZE |
0 |
osb |
1-s32max |
| CAPPED_DATA |
1 |
wc->w_clen |
1 |
| DATA_SOURCE |
2 |
pos |
$1 |
| DATA_SOURCE |
3 |
len |
$2 |
| FUZZY_MAX |
4 |
alloc |
1 |
| PARAM_COMPARE |
1 |
wc->w_clen |
>= $1->w_first_new_cpos |
| NOSPEC |
2 |
pos |
|
| NOSPEC |
2 |
pos |
|
| NOSPEC |
3 |
len |
|
| NOSPEC |
3 |
len |
|
| HARD_MAX |
4 |
alloc |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
wc->w_first_new_cpos |
0-u32max[c] |
| USER_DATA |
2 |
pos |
s64min-s64max |
| USER_DATA |
3 |
len |
0-s32max[c] |
| UNITS |
0 |
osb |
unit_byte |
| UNITS |
2 |
pos |
unit_byte |
| UNITS |
3 |
len |
unit_byte |
| HALF_LOCKED2 |
|
&oi->ip_alloc_sem |
|
