Fixed signed type of halt code

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

source/BIOS.AMD64.Machine.Mod

@@ -233,7 +233,7 @@ TYPE
 
 	(** exception state, ordering of record fields is predefined! *)
 	ExceptionState* = RECORD
-		halt*: ADDRESS;	(** halt code *)
+		halt*: SIZE;	(** halt code *)
 		pf*: ADDRESS;	(** page fault address *)
 		locks*: SET;	(** active locks *)
 		SP*: ADDRESS;	(** actual RSP value at time of interrupt *)

source/BIOS.I386.Machine.Mod

@@ -241,7 +241,7 @@ TYPE
 
 	(** exception state, ordering of record fields is predefined! *)
 	ExceptionState* = RECORD
-		halt*: ADDRESS;	(** halt code *)
+		halt*: SIZE;	(** halt code *)
 		pf*: ADDRESS;		(** page fault address *)
 		locks*: SET;					(** active locks *)
 		SP*: ADDRESS;	(** actual ESP value at time of interrupt *)

source/EFI.AMD64.Machine.Mod

@@ -233,7 +233,7 @@ TYPE
 
 	(** exception state, ordering of record fields is predefined! *)
 	ExceptionState* = RECORD
-		halt*: ADDRESS;	(** halt code *)
+		halt*: SIZE;	(** halt code *)
 		pf*: ADDRESS;	(** page fault address *)
 		locks*: SET;	(** active locks *)
 		SP*: ADDRESS;	(** actual RSP value at time of interrupt *)

source/EFI.I386.Machine.Mod

@@ -241,7 +241,7 @@ TYPE
 
 	(** exception state, ordering of record fields is predefined! *)
 	ExceptionState* = RECORD
-		halt*: ADDRESS;	(** halt code *)
+		halt*: SIZE;	(** halt code *)
 		pf*: ADDRESS;		(** page fault address *)
 		locks*: SET;					(** active locks *)
 		SP*: ADDRESS;	(** actual ESP value at time of interrupt *)