debuggers.hg

changeset 21178:b65a41dc6c6a

Better gcc error message if GUEST_PAGING_LEVELS is undefined.

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"