Searched refs:vmcs12_pa (Results 1 – 5 of 5) sorted by relevance
83 state->hdr.vmx.vmcs12_pa = 0x2000; in set_default_vmx_state()116 state->hdr.vmx.vmcs12_pa = -1ull; in test_vmx_nested_state()134 state->hdr.vmx.vmcs12_pa = -1ull; in test_vmx_nested_state()202 state->hdr.vmx.vmcs12_pa = -1; in test_vmx_nested_state()217 state->hdr.vmx.vmcs12_pa = -1; in test_vmx_nested_state()224 state->hdr.vmx.vmcs12_pa = 0; in test_vmx_nested_state()233 state->hdr.vmx.vmcs12_pa = -1ull; in test_vmx_nested_state()241 TEST_ASSERT(state->hdr.vmx.vmcs12_pa == -1ull, "vmcs_pa must be -1ull."); in test_vmx_nested_state()
470 __u64 vmcs12_pa; member
6417 .hdr.vmx.vmcs12_pa = INVALID_GPA, in vmx_get_nested_state()6432 kvm_state.hdr.vmx.vmcs12_pa = vmx->nested.current_vmptr; in vmx_get_nested_state()6555 if (kvm_state->hdr.vmx.vmcs12_pa != INVALID_GPA) in vmx_set_nested_state()6623 (kvm_state->hdr.vmx.vmcs12_pa != INVALID_GPA)) in vmx_set_nested_state()6629 if (kvm_state->hdr.vmx.vmcs12_pa != INVALID_GPA) { in vmx_set_nested_state()6630 if (kvm_state->hdr.vmx.vmcs12_pa == kvm_state->hdr.vmx.vmxon_pa || in vmx_set_nested_state()6631 !page_address_valid(vcpu, kvm_state->hdr.vmx.vmcs12_pa)) in vmx_set_nested_state()6634 set_current_vmptr(vmx, kvm_state->hdr.vmx.vmcs12_pa); in vmx_set_nested_state()
4812 __u64 vmcs12_pa;