127 	struct kvm_vm *vm;  in main()  local
135 	vm = vm_create_default(VCPU_ID, 0, guest_code);  in main()
136 	vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());  in main()
137 	run = vcpu_state(vm, VCPU_ID);  in main()
139 	vcpu_regs_get(vm, VCPU_ID, &regs1);  in main()
142 		vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);  in main()
143 		vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);  in main()
146 		vcpu_args_set(vm, VCPU_ID, 1, 0);  in main()
150 		_vcpu_run(vm, VCPU_ID);  in main()
157 		vcpu_regs_get(vm, VCPU_ID, &regs1);  in main()
176 		state = vcpu_save_state(vm, VCPU_ID);  in main()
177 		kvm_vm_release(vm);  in main()
180 		kvm_vm_restart(vm, O_RDWR);  in main()
181 		vm_vcpu_add(vm, VCPU_ID, 0, 0);  in main()
182 		vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());  in main()
183 		vcpu_load_state(vm, VCPU_ID, state);  in main()
184 		run = vcpu_state(vm, VCPU_ID);  in main()
188 		vcpu_regs_get(vm, VCPU_ID, &regs2);  in main()
195 	kvm_vm_free(vm);  in main()