diff -r e2f36d066b7b xen/arch/x86/mm/p2m.c
--- a/xen/arch/x86/mm/p2m.c	Mon Dec 22 13:48:40 2008 +0000
+++ b/xen/arch/x86/mm/p2m.c	Tue Dec 23 16:09:34 2008 +0800
@@ -939,7 +939,8 @@ guest_physmap_add_entry(struct domain *d
      * hardware translation limit. This limitation is checked by comparing
      * gfn with 0xfffffUL.
      */
-    if ( paging_mode_hap(d) && (gfn > 0xfffffUL) )
+    if ( paging_mode_hap(d) && (gfn > 0xfffffUL) && 
+            boot_cpu_data.x86_vendor == X86_VENDOR_AMD )
     {
         if ( !test_and_set_bool(d->arch.hvm_domain.svm.npt_4gb_warning) )
             dprintk(XENLOG_WARNING, "Dom%d failed to populate memory beyond"