23 #define VCPU_ID		5  macro
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()
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()
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()