diff -r b28ae5f00553 xen/arch/x86/hvm/mtrr.c
--- a/xen/arch/x86/hvm/mtrr.c	Tue Oct 23 09:26:43 2007 +0100
+++ b/xen/arch/x86/hvm/mtrr.c	Wed Oct 24 15:33:06 2007 +0200
@@ -23,7 +23,7 @@
 #include <asm/paging.h>
 #include <asm/p2m.h>
 #include <xen/domain_page.h>
-#include <stdbool.h>
+#include <xen/stdbool.h>
 #include <asm/mtrr.h>
 #include <asm/hvm/support.h>
 
diff -r b28ae5f00553 xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c	Tue Oct 23 09:26:43 2007 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c	Wed Oct 24 15:33:40 2007 +0200
@@ -50,7 +50,7 @@
 #include <asm/hvm/vpt.h>
 #include <public/hvm/save.h>
 #include <asm/hvm/trace.h>
-#include <stdbool.h>
+#include <xen/stdbool.h>
 
 enum handler_return { HNDL_done, HNDL_unhandled, HNDL_exception_raised };
 
diff -r b28ae5f00553 xen/include/xen/stdbool.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/xen/include/xen/stdbool.h	Wed Oct 24 15:22:28 2007 +0200
@@ -0,0 +1,6 @@
+#if defined(__OpenBSD__)
+#  include "/usr/include/stdbool.h"
+#else
+#  include <stdbool.h>
+#endif
+