1.1 --- a/xen/arch/x86/shadow_public.c	Tue Aug 02 11:08:47 2005 +0000
     1.2 +++ b/xen/arch/x86/shadow_public.c	Tue Aug 02 11:20:12 2005 +0000
     1.3 @@ -30,7 +30,7 @@
     1.4  #include <xen/sched.h>
     1.5  #include <xen/trace.h>
     1.6  
     1.7 -#if CONFIG_PAGING_LEVELS >= 4 
     1.8 +#if CONFIG_PAGING_LEVELS >= 3
     1.9  #include <asm/shadow_64.h>
    1.10  
    1.11  extern struct shadow_ops MODE_F_HANDLER;
    1.12 @@ -233,7 +233,20 @@ void free_monitor_pagetable(struct vcpu 
    1.13      v->arch.monitor_vtable = 0;
    1.14  }
    1.15  
    1.16 +#elif CONFIG_PAGING_LEVELS == 3
    1.17 +
    1.18 +static void alloc_monitor_pagetable(struct vcpu *v)
    1.19 +{
    1.20 +    BUG(); /* PAE not implemented yet */
    1.21 +}
    1.22 +
    1.23 +void free_monitor_pagetable(struct vcpu *v)
    1.24 +{
    1.25 +    BUG(); /* PAE not implemented yet */
    1.26 +}
    1.27 +
    1.28  #elif CONFIG_PAGING_LEVELS == 2
    1.29 +
    1.30  static void alloc_monitor_pagetable(struct vcpu *v)
    1.31  {
    1.32      unsigned long mmfn;