diff -r 72f1eafaa2c8 xen/arch/x86/hvm/svm/svmdebug.c --- a/xen/arch/x86/hvm/svm/svmdebug.c Mon Jul 04 12:15:29 2011 +0200 +++ b/xen/arch/x86/hvm/svm/svmdebug.c Mon Jul 04 15:31:16 2011 +0200 @@ -124,8 +124,13 @@ svm_vmcb_isvalid(const char *from, struc PRINTF("CR3: MBZ bits are set (0x%"PRIx64")\n", vmcb->_cr3); } - if ((vmcb->_cr4 >> 11U) != 0) { - PRINTF("CR4: bits [63:11] are not zero (0x%"PRIx64")\n", + if ((vmcb->_cr4 >> 19U) != 0) { + PRINTF("CR4: bits [63:19] are not zero (0x%"PRIx64")\n", + vmcb->_cr4); + } + + if (((vmcb->_cr4 >> 11U) & 0x7fU) != 0) { + PRINTF("CR4: bits [17:11] are not zero (0x%"PRIx64")\n", vmcb->_cr4); }