39#ifndef SMT_MAX_THREADS
41#define SMT_MAX_THREADS 4
Defines global host-dependent types: Counter, Tick, and (indirectly) {int,uint}{8,...
Bitfield< 3, 0 > priority
Copyright (c) 2024 - Pranith Kumar Copyright (c) 2020 Inria All rights reserved.
int16_t ThreadID
Thread index/ID type.
static void activate(const char *expr)
int maxThreadsPerCPU
The maximum number of active threads across all cpus.
void change_thread_state(ThreadID tid, int activate, int priority)
Changes the status and priority of the thread with the given number.