diff options
Diffstat (limited to 'includes/rts/OSThreads.h')
-rw-r--r-- | includes/rts/OSThreads.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/rts/OSThreads.h b/includes/rts/OSThreads.h index a3ed47c19b..ee1855b4da 100644 --- a/includes/rts/OSThreads.h +++ b/includes/rts/OSThreads.h @@ -200,7 +200,7 @@ void setThreadLocalVar (ThreadLocalKey *key, void *value); void freeThreadLocalKey (ThreadLocalKey *key); // Processors and affinity -void setThreadAffinity (nat n, nat m); +void setThreadAffinity (uint32_t n, uint32_t m); #endif // !CMINUSMINUS #else @@ -221,7 +221,7 @@ int forkOS_createThread ( HsStablePtr entry ); // // Returns the number of processor cores in the machine // -nat getNumberOfProcessors (void); +uint32_t getNumberOfProcessors (void); // // Support for getting at the kernel thread Id for tracing/profiling. |