From f69b206593952959e69fe65e8639a62fcaf985c3 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 4 Feb 2014 19:57:58 +0100
Subject: [PATCH] nova: fix utcb layout for 32bit

Makes virtualbox as 32bit VMM working
---
 base-nova/include/nova/syscall-generic.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-nova/include/nova/syscall-generic.h b/base-nova/include/nova/syscall-generic.h
index 3af054f8a6..2f63dacfcb 100644
--- a/base-nova/include/nova/syscall-generic.h
+++ b/base-nova/include/nova/syscall-generic.h
@@ -463,7 +463,7 @@ namespace Nova {
 					unsigned short sel, ar;
 					unsigned limit;
 					mword_t  base;
-#ifdef __x86_32__
+#ifndef __x86_64__
 					mword_t  reserved;	
 #endif
 				} es, cs, ss, ds, fs, gs, ldtr, tr;
@@ -471,7 +471,7 @@ namespace Nova {
 					unsigned reserved0;
 					unsigned limit;
 					mword_t  base;
-#ifdef __x86_32__
+#ifndef __x86_64__
 					mword_t  reserved1;	
 #endif
 				} gdtr, idtr;