| PARAM_VALUE |
0 |
old |
4096-ptr_max |
| PARAM_VALUE |
0 |
old->base.profiles.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
old->label.flags |
s64min-0,2048-s64max |
| PARAM_VALUE |
0 |
old->label.proxy->label |
1-u64max |
| PARAM_VALUE |
1 |
new |
4096-ptr_max |
| PARAM_VALUE |
1 |
new->label.flags |
0-s64max |
| PARAM_VALUE |
1 |
new->label.node.__rb_parent_color |
1 |
| PARAM_VALUE |
1 |
new->label.node.rb_left |
4096-ptr_max |
| PARAM_VALUE |
1 |
new->label.node.rb_right |
4096-ptr_max |
| PARAM_VALUE |
1 |
new->label.proxy->count.count.reftype |
0 |
| PARAM_VALUE |
1 |
new->label.proxy->count.label |
97 |
| CAPPED_DATA |
0 |
old->label.hname |
1 |
| CAPPED_DATA |
0 |
&old->base.profiles |
1 |
| CAPPED_DATA |
1 |
new->label.hname |
1 |
| CAPPED_DATA |
1 |
&new->label |
1 |
| DATA_SOURCE |
0 |
old |
$0 |
| DATA_SOURCE |
1 |
new |
$1 |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
*new->rawdata->data |
0-255 |
| USER_PTR |
1 |
new->rawdata->data |
|
| HALF_LOCKED2 |
|
&ns->lock |
|