#include "Rts.h"
#if defined(THREADED_RTS)
-#include "OSThreads.h"
#include "RtsUtils.h"
#include <windows.h>
shutdownThread()
{
_endthreadex(0);
+ barf("_endthreadex returned"); // avoid gcc warning
}
int
(unsigned*)&pId) == 0);
}
-void CCallEnterCriticalSection(LPCRITICAL_SECTION s) {
- EnterCriticalSection(s);
+nat
+getNumberOfProcessors (void)
+{
+ static nat nproc = 0;
+
+ if (nproc == 0) {
+ SYSTEM_INFO si;
+ GetSystemInfo(&si);
+ nproc = si.dwNumberOfProcessors;
+ }
+
+ return nproc;
}
-void CCallLeaveCriticalSection(LPCRITICAL_SECTION s) {
- LeaveCriticalSection(s);
+void
+setThreadAffinity (nat n STG_UNUSED, nat m STG_UNUSED)
+{
+ /* ToDo */
}
#else /* !defined(THREADED_RTS) */