1.1 --- a/xen/arch/x86/hvm/save.c	Thu Nov 08 09:05:26 2007 -0700
     1.2 +++ b/xen/arch/x86/hvm/save.c	Thu Nov 08 18:15:36 2007 +0000
     1.3 @@ -59,8 +59,10 @@ int arch_hvm_load(struct domain *d, stru
     1.4          gdprintk(XENLOG_WARNING, "HVM restore: saved CPUID (%#"PRIx32") "
     1.5                 "does not match host (%#"PRIx32").\n", hdr->cpuid, eax);
     1.6  
     1.7 +#ifdef __x86_64__
     1.8      /* VGA state is not saved/restored, so we nobble the cache. */
     1.9      d->arch.hvm_domain.stdvga.cache = 0;
    1.10 +#endif
    1.11  
    1.12      return 0;
    1.13  }