| PARAM_VALUE |
0 |
apic->lapic_timer.timer_mode |
0,131072-393216 |
| PARAM_VALUE |
0 |
apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode |
0-4294967295 |
| PARAM_VALUE |
0 |
apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
*apic->vcpu->kvm->arch.vioapic->irq_eoi |
0-4294967295 |
| DATA_SOURCE |
0 |
apic |
$1 |
| USER_DATA |
0 |
apic->lapic_timer.tscdeadline |
0-u64max |
| USER_DATA |
0 |
apic->sipi_vector |
1-255[c] |
| LOCK2 |
|
&vcpu->kvm->srcu |
|
| LOCK2 |
|
&vcpu->mutex |
|
| TYPE_LOCK |
|
(struct kvm)->srcu |
|
| TYPE_LOCK |
|
(struct kvm_vcpu)->mutex |
|
