guest_code_instr0
vcpu = vm_vcpu_add(vm, 0, guest_code_instr0);
vcpu = vm_vcpu_add(vm, 0, guest_code_instr0);
vm = vm_create_with_one_vcpu(&vcpu, guest_code_instr0);
vm = vm_create_with_one_vcpu(&vcpu, guest_code_instr0);