| PARAM_VALUE |
0 |
container |
4096-ptr_max |
| PARAM_VALUE |
0 |
container->group_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
container->group_lock.first_waiter->list.next |
2624917664208203776 |
| PARAM_VALUE |
0 |
container->group_lock.first_waiter->list.prev |
2624917664208203776 |
| PARAM_VALUE |
0 |
container->group_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
container->group_lock.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
container->group_lock.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
container->group_lock.wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
container->group_lock.wait_lock.owner_cpu |
u32max |
| PARAM_VALUE |
0 |
container->iommu_driver |
0 |
| PARAM_VALUE |
1 |
driver |
4096-ptr_max |
| PARAM_VALUE |
1 |
driver->ops |
4096-ptr_max |
| PARAM_VALUE |
1 |
driver->ops->owner |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
driver->ops->owner->refcnt.counter |
0-s32max |
| PARAM_VALUE |
1 |
driver->ops->owner->state |
0-1,3-u32max |
| PARAM_VALUE |
2 |
data |
0,4096-ptr_max |
| BUF_SIZE |
0 |
container |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
container |
s32min-(-2),1-s32max |
| BUF_SIZE |
2 |
data |
(-1),408 |
| BUF_SIZE |
2 |
data |
(-1),408 |
| CAPPED_DATA |
0 |
container->noiommu |
1 |
| CAPPED_DATA |
0 |
&container->group_list |
1 |
| CAPPED_DATA |
0 |
&container->group_lock |
1 |
| CAPPED_DATA |
1 |
&driver->vfio_next |
1 |
| DATA_SOURCE |
0 |
container |
$0 |
| PARAM_COMPARE |
0 |
&container->group_list |
!= $0->group_list.next |
| LOCK2 |
|
global &vfio.iommu_drivers_lock |
|
| LOCK2 |
0 |
&container->group_lock |
|
| TYPE_LOCK |
|
(struct vfio)->iommu_drivers_lock |
|
| TYPE_LOCK |
|
(struct vfio_container)->group_lock |
|
