#ifndef __CAPABILITY_H__
#define __CAPABILITY_H__
+#include "RtsFlags.h"
+
// All the capabilities
extern Capability *capabilities;
//
extern void threadRunnable ( void );
+// Return the capability that I own.
+//
+extern Capability *myCapability (void);
+
extern void prodWorker ( void );
#ifdef RTS_SUPPORTS_THREADS
// current worker thread should then re-acquire it using
// waitForCapability().
//
-extern void yieldCapability( Capability **pCap );
+extern void yieldCapability( Capability** pCap, Condition *cond );
// Acquires a capability for doing some work.
//