| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->run |
18379471554275704832,18446612682070032384 |
| PARAM_VALUE |
0 |
vcpu->vcpu_idx |
(-1) |
| PARAM_VALUE |
1 |
kvm |
4096-ptr_max |
| PARAM_VALUE |
1 |
kvm->arch.created_mediated_pmu |
1 |
| PARAM_VALUE |
1 |
kvm->arch.enable_pmu |
0 |
| PARAM_VALUE |
1 |
kvm->arch.max_vcpu_ids |
1-u32max |
| PARAM_VALUE |
1 |
kvm->lock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->list.prev->next |
5159360019465732096 |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->task->blocked_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->task->blocked_lock.owner |
(-1) |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->task->blocked_lock.owner_cpu |
4294967295 |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->task->blocked_lock.raw_lock.val.counter |
s32min-s32max |
| PARAM_VALUE |
1 |
kvm->lock.first_waiter->task->usage.refs.counter |
s32min-s32max |
| PARAM_VALUE |
1 |
kvm->lock.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
1 |
kvm->lock.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
kvm->max_vcpus |
(-2147483647)-s32max |
| PARAM_VALUE |
1 |
kvm->vcpu_ids |
4096-ptr_max |
| PARAM_VALUE |
1 |
kvm->vm_dead |
0 |
| PARAM_VALUE |
2 |
id |
0-16383 |
| BUF_SIZE |
1 |
kvm |
s32min-(-2),1-s32max |
| BUF_SIZE |
1 |
kvm |
s32min-(-2),1-s32max |
| CAPPED_DATA |
1 |
kvm->arch.max_vcpu_ids |
1 |
| CAPPED_DATA |
1 |
kvm->mm |
1 |
| CAPPED_DATA |
1 |
&kvm->lock |
1 |
| CAPPED_DATA |
2 |
id |
1 |
| DATA_SOURCE |
0 |
vcpu |
r kmem_cache_alloc_noprof |
| DATA_SOURCE |
1 |
kvm |
$0 |
| DATA_SOURCE |
2 |
id |
$1 |
| PARAM_COMPARE |
1 |
kvm->created_vcpus |
<= $1->max_vcpus |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
2 |
id |
0-16383[c] |
