debuggers.hg
changeset 21178:b65a41dc6c6a
Better gcc error message if GUEST_PAGING_LEVELS is undefined.
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Mon Apr 12 17:36:10 2010 +0100 (2010-04-12) |
parents | 5d4038d41fd8 |
children | 7eeb131880b2 |
files | xen/include/asm-x86/guest_pt.h |
line diff
1.1 --- a/xen/include/asm-x86/guest_pt.h Mon Apr 12 17:33:47 2010 +0100 1.2 +++ b/xen/include/asm-x86/guest_pt.h Mon Apr 12 17:36:10 2010 +0100 1.3 @@ -29,6 +29,10 @@ 1.4 #ifndef _XEN_ASM_GUEST_PT_H 1.5 #define _XEN_ASM_GUEST_PT_H 1.6 1.7 +#if !defined(GUEST_PAGING_LEVELS) 1.8 +#error GUEST_PAGING_LEVELS not defined 1.9 +#endif 1.10 + 1.11 /* Type of the guest's frame numbers */ 1.12 TYPE_SAFE(unsigned long,gfn) 1.13 #define PRI_gfn "05lx"