Searched refs:vmcs_gva (Results 1 – 1 of 1) sorted by relevance
7403 gva_t vmcs_gva; in handle_vmptrst() local7410 vmx_instruction_info, true, &vmcs_gva)) in handle_vmptrst()7413 if (kvm_write_guest_virt_system(vcpu, vmcs_gva, in handle_vmptrst()