| PARAM_VALUE |
0 |
apic |
4096-ptr_max |
| PARAM_VALUE |
0 |
apic->lapic_timer.hv_timer_in_use |
0 |
| PARAM_VALUE |
0 |
apic->lapic_timer.pending.counter |
0 |
| PARAM_VALUE |
0 |
apic->lapic_timer.timer_mode |
262144 |
| 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->run->hypercall.ret |
0-s32max,1844674407370955159,18446744071562067968-u64max |
| PARAM_VALUE |
0 |
apic->vcpu->run->system_event.ndata |
0-1,16 |
| PARAM_VALUE |
0 |
apic->vcpu->run->system_event.type |
2-3,6-7 |
| PARAM_VALUE |
0 |
*apic->vcpu->kvm->arch.vioapic->irq_eoi |
0-4294967295 |
| DATA_SOURCE |
0 |
apic |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
apic->lapic_timer.expired_tscdeadline |
0-u64max |
| USER_DATA |
0 |
apic->lapic_timer.tscdeadline |
0-u64max |
| USER_DATA |
0 |
apic->sipi_vector |
1-255[c] |
| HALF_LOCKED2 |
|
&vcpu->kvm->srcu |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
