Searched refs:idt_alt_vm (Results 1 – 1 of 1) sorted by relevance
148 vm_vaddr_t idt_alt_vm; in run_test() local167 idt_alt_vm = vm_vaddr_alloc_page(vm); in run_test()168 idt_alt = addr_gva2hva(vm, idt_alt_vm); in run_test()172 idt_alt_vm = 0; in run_test()174 vcpu_args_set(vcpu, 3, svm_gva, (uint64_t)is_nmi, (uint64_t)idt_alt_vm); in run_test()