93 	struct kvm_vm *vm;  in main()  local
99 	vm = vm_create_default(VCPU_ID, 0, guest_code);  in main()
101 	vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());  in main()
103 	run = vcpu_state(vm, VCPU_ID);  in main()
105 	vm_userspace_mem_region_add(vm, VM_MEM_SRC_ANONYMOUS, SMRAM_GPA,  in main()
107 	TEST_ASSERT(vm_phy_pages_alloc(vm, SMRAM_PAGES, SMRAM_GPA, SMRAM_MEMSLOT)  in main()
110 	memset(addr_gpa2hva(vm, SMRAM_GPA), 0x0, SMRAM_SIZE);  in main()
111 	memcpy(addr_gpa2hva(vm, SMRAM_GPA) + 0x8000, smi_handler,  in main()
114 	vcpu_set_msr(vm, VCPU_ID, MSR_IA32_SMBASE, SMRAM_GPA);  in main()
117 		vcpu_alloc_vmx(vm, &vmx_pages_gva);  in main()
118 		vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);  in main()
121 		vcpu_args_set(vm, VCPU_ID, 1, 0);  in main()
125 		_vcpu_run(vm, VCPU_ID);  in main()
132 		vcpu_regs_get(vm, VCPU_ID, &regs);  in main()
144 		state = vcpu_save_state(vm, VCPU_ID);  in main()
145 		kvm_vm_release(vm);  in main()
146 		kvm_vm_restart(vm, O_RDWR);  in main()
147 		vm_vcpu_add(vm, VCPU_ID);  in main()
148 		vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());  in main()
149 		vcpu_load_state(vm, VCPU_ID, state);  in main()
150 		run = vcpu_state(vm, VCPU_ID);  in main()
155 	kvm_vm_free(vm);  in main()