Searched refs:idt_alt_vm (Results 1 – 1 of 1) sorted by relevance
148 gva_t idt_alt_vm; in run_test() local164 idt_alt_vm = vm_alloc_page(vm); in run_test()165 idt_alt = addr_gva2hva(vm, idt_alt_vm); in run_test()169 idt_alt_vm = 0; in run_test()171 vcpu_args_set(vcpu, 3, svm_gva, (u64)is_nmi, (u64)idt_alt_vm); in run_test()