typedef int BOOL;
+extern void exit(int status) __attribute__((noreturn));
+#define HALT_CPU() exit(1)
+
#include <stddef.h>
-#undef NULL
#undef offsetof
struct sShortSpinlock
void *Mutex;
};
-#define SHORTLOCK(...)
-#define SHORTREL(...)
-#define CPU_HAS_LOCK(...) 0
+extern void Threads_int_ShortLock(void **Ptr);
+extern void Threads_int_ShortRel(void **Ptr);
+extern int Threads_int_ShortHas(void **Ptr);
+
+#define SHORTLOCK(l) Threads_int_ShortLock(&(l)->Mutex)
+#define SHORTREL(l) Threads_int_ShortRel(&(l)->Mutex)
+#define CPU_HAS_LOCK(l) Threads_int_ShortHas(&(l)->Mutex)
//#define NUM_CFG_ENTRIES 10