diff -r 195185eba60b xen/arch/x86/hvm/svm/nestedsvm.c
--- a/xen/arch/x86/hvm/svm/nestedsvm.c	Thu Jun 21 11:26:43 2012 +0200
+++ b/xen/arch/x86/hvm/svm/nestedsvm.c	Thu Jun 21 13:30:07 2012 +0200
@@ -935,6 +935,9 @@ nsvm_vmcb_guest_intercepts_exitcode(stru
         return 0;
 
     case VMEXIT_NPF:
+        if (nestedhvm_paging_mode_hap(v))
+            break;
+        return 0;
     case VMEXIT_INVALID:
         /* Always intercepted */
         break;