| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->cpu |
(-1) |
| PARAM_VALUE |
0 |
vcpu->kvm |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.created_mediated_pmu |
1 |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.enable_pmu |
0 |
| PARAM_VALUE |
0 |
vcpu->kvm->arch.max_vcpu_ids |
1-u32max |
| PARAM_VALUE |
0 |
vcpu->kvm->lock.first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->kvm->lock.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
vcpu->kvm->max_vcpus |
(-2147483647)-s32max |
| PARAM_VALUE |
0 |
vcpu->kvm->vm_dead |
0 |
| PARAM_VALUE |
0 |
vcpu->mutex.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
vcpu->mutex.first_waiter |
0 |
| PARAM_VALUE |
0 |
vcpu->mutex.magic |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->mutex.osq.tail.counter |
0 |
| PARAM_VALUE |
0 |
vcpu->mutex.owner.counter |
0 |
| PARAM_VALUE |
0 |
vcpu->pid |
0 |
| PARAM_VALUE |
0 |
vcpu->pid_lock.magic |
3736018669 |
| PARAM_VALUE |
0 |
vcpu->pid_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
vcpu->pid_lock.owner_cpu |
u32max |
| PARAM_VALUE |
0 |
vcpu->run |
18379471554275704832,18446612682070032384 |
| PARAM_VALUE |
0 |
vcpu->vcpu_id |
0-16383 |
| PARAM_VALUE |
0 |
vcpu->vcpu_idx |
(-1) |
| PARAM_VALUE |
0 |
vcpu->wait.task |
0 |
| BUF_SIZE |
0 |
vcpu->kvm |
s32min-(-2),1-s32max |
| CAPPED_DATA |
0 |
vcpu->kvm->arch.max_vcpu_ids |
1 |
| CAPPED_DATA |
0 |
vcpu->vcpu_id |
1 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
vcpu->vcpu_id |
1-16383[c] |
