| PARAM_VALUE |
0 |
state |
1934772789524824064 |
| PARAM_VALUE |
0 |
state->ctx |
4096-ptr_max |
| PARAM_VALUE |
0 |
state->ctx->map_changing_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
state->ctx->map_changing_lock.first_waiter->handoff_set |
1 |
| PARAM_VALUE |
0 |
state->ctx->map_changing_lock.first_waiter->list.next |
2212933610777083904 |
| PARAM_VALUE |
0 |
state->ctx->map_changing_lock.first_waiter->list.prev |
2212933610777083904 |
| PARAM_VALUE |
0 |
state->ctx->map_changing_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
state->ctx->mm->mmap_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
state->ctx->mm->mmap_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
state->ctx->mm->mmap_lock.first_waiter->list.next |
2212933610777083904 |
| PARAM_VALUE |
0 |
state->ctx->mm->mmap_lock.first_waiter->list.prev |
2212933610777083904 |
| PARAM_VALUE |
0 |
state->ctx->mm->mmap_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
state->ctx->mmap_changing.counter |
0 |
| PARAM_VALUE |
0 |
state->pmd |
4096-ptr_max |
| PARAM_VALUE |
0 |
state->src_addr |
0-18446744073709551614 |
| PARAM_VALUE |
0 |
state->vma |
4096-ptr_max |
| PARAM_VALUE |
0 |
state->vma->vm_refcnt.refs.counter |
(-1073741824),0-s32max |
| PARAM_VALUE |
0 |
state->vma->vm_userfaultfd_ctx.ctx |
1-u64max |
| CAPPED_DATA |
0 |
state->dst_start |
1 |
| CAPPED_DATA |
0 |
state->src_addr |
1 |
| CAPPED_DATA |
0 |
state->vma->vm_file |
1 |
| CAPPED_DATA |
0 |
state->vma->vm_file->f_inode |
1 |
| DATA_SOURCE |
0 |
state |
$0 |
| LOCK2 |
|
&state.ctx->map_changing_lock |
|
| LOCK2 |
0 |
&state->ctx->map_changing_lock |
|
| TYPE_LOCK |
|
(struct userfaultfd_ctx)->map_changing_lock |
|
