Searched defs:vmx_gva (Results 1 – 2 of 2) sorted by relevance
84 vm_vaddr_t vmx_gva; in memstress_setup_nested() local
77 vm_vaddr_t vmx_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx() local