24 #define VCPU_ID 5  macro
97 	vm = vm_create_default(VCPU_ID, 0, guest_code);  in main()
99 	run = vcpu_state(vm, VCPU_ID);  in main()
103 	rv = _vcpu_run(vm, VCPU_ID);  in main()
107 	vcpu_state(vm, VCPU_ID)->kvm_valid_regs = 0;  in main()
110 	rv = _vcpu_run(vm, VCPU_ID);  in main()
114 	vcpu_state(vm, VCPU_ID)->kvm_valid_regs = 0;  in main()
118 	rv = _vcpu_run(vm, VCPU_ID);  in main()
122 	vcpu_state(vm, VCPU_ID)->kvm_dirty_regs = 0;  in main()
125 	rv = _vcpu_run(vm, VCPU_ID);  in main()
129 	vcpu_state(vm, VCPU_ID)->kvm_dirty_regs = 0;  in main()
134 	rv = _vcpu_run(vm, VCPU_ID);  in main()
140 	vcpu_regs_get(vm, VCPU_ID, &regs);  in main()
143 	vcpu_sregs_get(vm, VCPU_ID, &sregs);  in main()
146 	vcpu_events_get(vm, VCPU_ID, &events);  in main()
156 	rv = _vcpu_run(vm, VCPU_ID);  in main()
168 	vcpu_regs_get(vm, VCPU_ID, &regs);  in main()
171 	vcpu_sregs_get(vm, VCPU_ID, &sregs);  in main()
174 	vcpu_events_get(vm, VCPU_ID, &events);  in main()
183 	rv = _vcpu_run(vm, VCPU_ID);  in main()
200 	vcpu_regs_set(vm, VCPU_ID, &regs);  in main()
201 	rv = _vcpu_run(vm, VCPU_ID);  in main()
209 	vcpu_regs_get(vm, VCPU_ID, &regs);  in main()
221 	rv = _vcpu_run(vm, VCPU_ID);  in main()
229 	vcpu_regs_get(vm, VCPU_ID, &regs);  in main()