From: bdemsky Date: Mon, 11 Apr 2011 07:47:48 +0000 (+0000) Subject: change X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=081dbf92a82c9a730df806f3065ea23ee73e15e0;p=IRC.git change --- diff --git a/Robust/src/Runtime/object.h b/Robust/src/Runtime/object.h index c40f4b99..fb3881d9 100644 --- a/Robust/src/Runtime/object.h +++ b/Robust/src/Runtime/object.h @@ -4,18 +4,6 @@ #include "structdefs.h" #include "methodheaders.h" -#define MAXLOCKS 256 - -struct lockpair { - struct ___Object___ *object; - int islastlock; -}; - -struct lockvector { - int index; - struct lockpair locks[MAXLOCKS]; -}; - #ifndef MAC extern __thread struct lockvector lvector; #endif diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h index e3d75f56..28d9cc79 100644 --- a/Robust/src/Runtime/runtime.h +++ b/Robust/src/Runtime/runtime.h @@ -168,6 +168,19 @@ inline void setupsmemmode(void); #include "optionalstruct.h" #endif +#define MAXLOCKS 256 + +struct lockpair { + struct ___Object___ *object; + int islastlock; +}; + +struct lockvector { + int index; + struct lockpair locks[MAXLOCKS]; +}; + + #ifdef OPTIONAL struct failedtasklist { struct taskdescriptor *task;