| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.hyperv |
1-u64max |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.apicv_update_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
vcpu->run->hypercall.ret |
0-s32max,1844674407370955159,18446744071562067968-u64max |
| PARAM_VALUE |
0 |
vcpu->run->system_event.ndata |
0-1,16 |
| PARAM_VALUE |
0 |
vcpu->run->system_event.type |
2-3,6-7 |
| PARAM_VALUE |
0 |
*vcpu->kvm->arch.vioapic->irq_eoi |
0-4294967295 |
| PARAM_VALUE |
1 |
sint |
0-15 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| NOCHECK_CALL |
|
|
|
| UNITS |
1 |
sint |
unit_array_size |
| HALF_LOCKED2 |
|
&vcpu->kvm->srcu |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
