Removed obsolete cooperative constant

git-svn-id: https://svn-dept.inf.ethz.ch/svn/lecturers/a2/trunk@8723 8c9fc860-2736-0410-a75d-ab315db34111

source/ARM.Machine.Mod

@@ -136,8 +136,6 @@ CONST
 	(** Needed, but not used yet by Reals.Mod *)
 	fcr * = {};
 
-	IsCooperative * = FALSE;
-
 TYPE
 	(** processor state *)
 	State* = RECORD

source/BIOS.AMD64.Machine.Mod

@@ -22,8 +22,6 @@ CONST
 
 	DefaultDMASize = 20;	(* default size of ISA DMA area in KB *)
 
-	IsCooperative*= FALSE;
-
 CONST
 	StrongChecks = FALSE;	(* perform strong checks *)
 	Stats* = FALSE;	(* acquire statistics *)

source/BIOS.I386.Machine.Mod

@@ -22,8 +22,6 @@ CONST
 
 	DefaultDMASize = 20;	(* default size of ISA DMA area in KB *)
 
-	IsCooperative*= FALSE;
-
 CONST
 	StrongChecks = FALSE;	(* perform strong checks *)
 	Stats* = FALSE;	(* acquire statistics *)

source/Coop.ARM.Machine.Mod

@@ -14,8 +14,6 @@ CONST
 
 	debug* = FALSE;   (** display more debug output during booting *)
 
-	IsCooperative*= TRUE;
-
 CONST
 (** standard lock levels (in order) *)  (* also refer to Traps.Show *)
 	TraceOutput* = 0;   (* Trace output *)

source/Coop.Machine.Mod

@@ -22,8 +22,6 @@ CONST
 
 	debug* = FALSE;   (** display more debug output during booting *)
 
-	IsCooperative*= TRUE;
-
 CONST
 (** standard lock levels (in order) *)  (* also refer to Traps.Show *)
 	TraceOutput* = 0;   (* Trace output *)

source/EFI.I386.Machine.Mod

@@ -22,8 +22,6 @@ CONST
 
 	DefaultDMASize = 20;	(* default size of ISA DMA area in KB *)
 
-	IsCooperative*= FALSE;
-
 CONST
 	StrongChecks = FALSE;	(* perform strong checks *)
 	Stats* = FALSE;	(* acquire statistics *)

source/Loader.Mod

@@ -555,11 +555,11 @@ VAR
 				IF TraceLoading THEN Trace.String("linking done"); Trace.Ln END;
 
 				moduleAdr := linker.moduleBlock.address;
-				IF ~Machine.IsCooperative THEN
+				#IF ~COOP THEN
 					SYSTEM.GET(moduleAdr+2*SIZEOF(ADDRESS)+2*SIZEOF(WORD), moduleAdr);
 					SYSTEM.GET(moduleAdr-2*SIZEOF(ADDRESS), heapBlockAdr);
 					ASSERT(heapBlockAdr = linker.moduleBlock.address+2*SIZEOF(ADDRESS));
-				END;
+				#END
 				module := SYSTEM.VAL(Modules.Module,moduleAdr);
 				module.staticTypeDescs := testTypeDescs; (* trick to identify new object file loaded modules *)
 				module.data := arrangement.data.bytes;

source/Unix.Machine.Mod

@@ -36,7 +36,6 @@ CONST
 	MaxLocks* = 9;   (* { <= 32 } *)
 	
 	MaxCPU* = 4;
-	IsCooperative* = FALSE;
 	StrongChecks = FALSE;
 
 TYPE	

source/Windows.Machine.Mod

@@ -61,7 +61,7 @@ CONST
 		(* error codes *)
 		Ok* = 0;
 		NilAdr* = -1;	(* nil value for addresses (not same as pointer NIL value) *)
-		IsCooperative* = FALSE;
+
 TYPE
 	Vendor* = ARRAY 13 OF CHAR;
 	IDMap* = ARRAY 16 OF SHORTINT;