--- /dev/null	2007-04-02 15:35:49.510433377 -0300
+++ i386/lguest_defs.h	2007-04-02 16:19:27.000000000 -0300
@@ -0,0 +1,7 @@
+#ifndef _LGUEST_DEFS_H_
+#define _LGUEST_DEFS_H_
+
+/* LGUEST_TOP_ADDRESS comes from the Makefile */
+#define RESERVE_TOP_ADDRESS LGUEST_GUEST_TOP - 1024*1024
+
+#endif
--- /dev/null	2007-04-02 15:35:49.510433377 -0300
+++ x86_64/lguest_defs.h	2007-04-02 16:19:27.000000000 -0300
@@ -0,0 +1,11 @@
+#ifndef _LGUEST_DEFS_H_
+#define _LGUEST_DEFS_H_
+
+#include <asm/vsyscall.h>
+
+/* LGUEST_TOP_ADDRESS comes from the Makefile */
+#define RESERVE_TOP_ADDRESS LGUEST_GUEST_TOP
+
+#define BOOT_PGTABLE "boot_level4_pgt"
+
+#endif