Searched refs:idt_alt_vm (Results 1 – 1 of 1) sorted by relevance
139 vm_vaddr_t idt_alt_vm; in run_test() local158 idt_alt_vm = vm_vaddr_alloc_page(vm); in run_test()159 idt_alt = addr_gva2hva(vm, idt_alt_vm); in run_test()163 idt_alt_vm = 0; in run_test()165 vcpu_args_set(vcpu, 3, svm_gva, (uint64_t)is_nmi, (uint64_t)idt_alt_vm); in run_test()