//
// Copyright (C) 2024-2025 Intel Corporation.
// SPDX-License-Identifier: MIT
//

#if !defined(_SDE_THREADS_H_)
#define _SDE_THREADS_H_
#include "pin.H"

const UINT32 SDE_MAX_THREADS = PIN_MAX_THREADS;

#define SDE_MAX_PREALLOCATED_THREADS 100

#endif
