Better gcc error message if GUEST_PAGING_LEVELS is undefined.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>

diff --git a/xen/include/asm-x86/guest_pt.h b/xen/include/asm-x86/guest_pt.h
index 16a8b759bfd503ccf2bbcfa391a1913027be2cba..dca50443000f55e6b1689dd6ad4377b6831981c4 100644 (file)
--- a/xen/include/asm-x86/guest_pt.h
+++ b/xen/include/asm-x86/guest_pt.h
@@ -29,6 +29,10 @@
 #ifndef _XEN_ASM_GUEST_PT_H
 #define _XEN_ASM_GUEST_PT_H
 
+#if !defined(GUEST_PAGING_LEVELS)
+#error GUEST_PAGING_LEVELS not defined
+#endif
+
 /* Type of the guest's frame numbers */
 TYPE_SAFE(unsigned long,gfn)
 #define PRI_gfn "05lx"