diff options
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/rts/Task.h b/rts/Task.h index 209df49ddb..5fea2badda 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -140,7 +140,7 @@ typedef struct Task_ { // The current top-of-stack InCall struct InCall_ *incall; - nat n_spare_incalls; + uint32_t n_spare_incalls; struct InCall_ *spare_incalls; rtsBool worker; // == rtsTrue if this is a worker Task @@ -192,7 +192,7 @@ extern Mutex all_tasks_mutex; // Requires: sched_mutex. // void initTaskManager (void); -nat freeTaskManager (void); +uint32_t freeTaskManager (void); // Create a new Task for a bound thread. This Task must be released // by calling boundTaskExiting. The Task is cached in @@ -247,9 +247,9 @@ void interruptWorkerTask (Task *task); #endif /* THREADED_RTS */ // For stats -extern nat taskCount; -extern nat workerCount; -extern nat peakWorkerCount; +extern uint32_t taskCount; +extern uint32_t workerCount; +extern uint32_t peakWorkerCount; // ----------------------------------------------------------------------------- // INLINE functions... private from here on down: |