diff options
| -rw-r--r-- | rts/Schedule.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rts/Schedule.h b/rts/Schedule.h index 76138b68f3..2412285d29 100644 --- a/rts/Schedule.h +++ b/rts/Schedule.h @@ -137,7 +137,10 @@ appendToRunQueue (Capability *cap, StgTSO *tso) /* Push a thread on the beginning of the run queue. * ASSUMES: cap->running_task is the current task. */ -INLINE_HEADER void +EXTERN_INLINE void +pushOnRunQueue (Capability *cap, StgTSO *tso); + +EXTERN_INLINE void pushOnRunQueue (Capability *cap, StgTSO *tso) { setTSOLink(cap, tso, cap->run_queue_hd); |