| PARAM_VALUE |
0 |
vcpu |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.apic->lapic_timer.timer.flags |
0-4294967295 |
| PARAM_VALUE |
0 |
vcpu->arch.apic->lapic_timer.timer.is_queued |
1 |
| PARAM_VALUE |
0 |
vcpu->arch.apic->lapic_timer.timer.node.expires |
0-s64max |
| PARAM_VALUE |
0 |
vcpu->arch.apic->lapic_timer.timer_mode_mask |
131072,393216 |
| PARAM_VALUE |
0 |
vcpu->arch.apic->sipi_vector |
0-u16max |
| PARAM_VALUE |
0 |
vcpu->arch.apic->vcpu->arch.pv.pv_unhalted |
1 |
| PARAM_VALUE |
0 |
vcpu->arch.apic->vcpu->ready |
1 |
| PARAM_VALUE |
0 |
vcpu->arch.tsc_offset_adjustment |
0 |
| PARAM_VALUE |
0 |
vcpu->cpu |
0 |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.kvmclock_update_rs.lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
vcpu->preempt_notifier.link->pprev |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->preempt_notifier.link.pprev |
4096-ptr_max |
| PARAM_VALUE |
1 |
msrs |
335609220629536768 |
| PARAM_VALUE |
1 |
msrs->nmsrs |
0-255 |
| PARAM_VALUE |
2 |
entries |
1-ptr_max |
| PARAM_VALUE |
3 |
do_msr |
970375410026360832,1546927391505051648,4115327565845573632 |
| BUF_SIZE |
0 |
vcpu |
s32min-(-1),1-s32max |
| BUF_SIZE |
0 |
vcpu |
s32min-(-1),1-s32max |
| BUF_SIZE |
2 |
entries |
0-4080 |
| BUF_SIZE |
2 |
entries |
0-4080 |
| CAPPED_DATA |
0 |
vcpu |
1 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| DATA_SOURCE |
2 |
entries |
r memdup_user |
| DATA_SOURCE |
3 |
do_msr |
$2 |
| USER_DATA |
1 |
msrs->nmsrs |
0-255 |
| USER_DATA |
1 |
msrs->pad |
0-u32max |
| USER_DATA |
2 |
entries->data |
0-u64max |
| USER_DATA |
2 |
entries->index |
0-u32max |
| USER_DATA |
2 |
entries->reserved |
0-u32max |
| USER_DATA |
2 |
*entries |
s64min-s64max |
| USER_PTR |
2 |
entries |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| HALF_LOCKED2 |
|
_T->lock |
|
