guest_code_user_operexec

162

vcpu = vm_vcpu_add(vm, 0, guest_code_user_operexec);

208

vcpu = vm_vcpu_add(vm, 0, guest_code_user_operexec);

51

vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);

85

vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);

99

vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);