| PARAM_VALUE |
0 |
vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode |
0-4294967295 |
| 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 |
vector |
s32min-(-2),0-s32max |
| PREEMPT_ADD |
|
|
|
| HALF_LOCKED2 |
|
&vcpu->kvm->srcu |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
