| PARAM_VALUE |
0 |
dma_buf |
4096-ptr_max |
| PARAM_VALUE |
0 |
dma_buf->ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
dma_buf->ops->vunmap |
1-u64max |
| PARAM_VALUE |
0 |
dma_buf->resv->lock.ww_class->is_wait_die |
0-s32max |
| PARAM_VALUE |
0 |
dma_buf->vmapping_counter |
0 |
| PARAM_VALUE |
1 |
map |
4096-ptr_max |
| BUF_SIZE |
0 |
dma_buf |
(-1),361,536 |
| BUF_SIZE |
0 |
dma_buf |
(-1),361,536 |
| BUF_SIZE |
0 |
dma_buf->exp_name |
(-1),8 |
| BUF_SIZE |
0 |
dma_buf->ops |
(-1),96 |
| BUF_SIZE |
0 |
dma_buf->priv |
(-1),184 |
| BUF_SIZE |
1 |
map->vaddr |
s32min-(-1),1-s32max |
| CAPPED_DATA |
1 |
map->is_iomem |
1 |
| DATA_SOURCE |
0 |
dma_buf |
$0 |
| DATA_SOURCE |
1 |
map |
$1 |
| STR_LEN |
0 |
dma_buf->exp_name |
(-1),7 |
| CONTAINER |
0 |
-88-32+0 |
$(-1) |
| PARAM_COMPARE |
0 |
dma_buf->vmap_ptr.is_iomem |
== $1->is_iomem |
| NOSPEC |
0 |
dma_buf->size |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
dma_buf->file->f_mode |
33554432,34078720-571342855[c] |
| USER_DATA |
0 |
dma_buf->size |
4096-u64max[c] |
| HALF_LOCKED2 |
0 |
dma_buf->resv |
|
