| PARAM_VALUE |
0 |
info |
4096-ptr_max |
| PARAM_VALUE |
0 |
info->fbops |
4096-ptr_max |
| PARAM_VALUE |
0 |
info->fbops->fb_mmap |
1-u64max |
| PARAM_VALUE |
0 |
info->mm_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
info->mm_lock.first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
info->mm_lock.first_waiter->list.prev->next |
5159360019465732096 |
| PARAM_VALUE |
0 |
info->mm_lock.first_waiter->task->blocked_on |
0 |
| PARAM_VALUE |
0 |
info->mm_lock.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
info->mm_lock.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
info->mm_lock.wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
info->mm_lock.wait_lock.owner_cpu |
u32max |
| BUF_SIZE |
1 |
vma |
(-1)-s32max |
| BUF_SIZE |
1 |
vma |
(-1)-s32max |
| BUF_SIZE |
1 |
vma->vm_file |
(-1)-s32max |
| BUF_SIZE |
1 |
vma->vm_private_data |
(-1),1-s32max |
| CAPPED_DATA |
0 |
info |
1 |
| CAPPED_DATA |
0 |
&info->mm_lock |
1 |
| DATA_SOURCE |
0 |
info |
r file_fb_info |
| DATA_SOURCE |
1 |
vma |
$1 |
| CONTAINER |
0 |
-144-1416+0 |
$(-1) |
| NOSPEC |
1 |
vma->vm_pgoff |
|
| NOSPEC |
1 |
vma->vm_start |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
vma->vm_end |
4096-u64max[c] |
| USER_DATA |
1 |
vma->vm_pgoff |
0-4503599627370495[c] |
| USER_DATA |
1 |
vma->vm_start |
0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE |
1 |
vma->vm_pgoff |
|
| LOCK2 |
0 |
&info->mm_lock |
|
| HALF_LOCKED2 |
|
&ipcp->lock |
|
| TYPE_LOCK |
|
(struct fb_info)->mm_lock |
|
