| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.hyperv_enabled |
1 |
| PARAM_VALUE |
0 |
vcpu->arch.pv_eoi.data.hva |
18446612682070032384-u64max |
| PARAM_VALUE |
0 |
vcpu->arch.regs_avail |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->last_used_slot_gen |
0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.intercept_message |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.reserved2 |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.reserved3 |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.reserved4 |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
0-255 |
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.intercept_message |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved2 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved3 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved4 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
|
