#ifndef __CAPABILITY_H__
#define __CAPABILITY_H__
+// All the capabilities
+extern Capability *capabilities;
+
// Initialised the available capabilities.
//
extern void initCapabilities( void );
//
extern void threadRunnable ( void );
+extern void prodWorker ( void );
+
#ifdef RTS_SUPPORTS_THREADS
// Gives up the current capability IFF there is a higher-priority
// thread waiting for it. This happens in one of two ways: