Changeset 14096 in vbox

Timestamp:

Nov 11, 2008 4:54:07 PM (16 years ago)

Author:

vboxsync

Message:

#1865: shadow pae, the forth bit. (dead code checks)

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (6 diffs)

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -3159 +3159 @@
 #  if PGM_GST_TYPE == PGM_TYPE_AMD64
     bool fBigPagesSupported = true;
+    # error "We should not be here!"
 #  else
     bool fBigPagesSupported = !!(CPUMGetGuestCR4(pVM) & X86_CR4_PSE);
@@ -3202 +3203 @@
     }
 #  if PGM_GST_TYPE == PGM_TYPE_AMD64
+    # error "We should not be here!"
     for (uint64_t iPml4 = 0; iPml4 < X86_PG_PAE_ENTRIES; iPml4++)
     {
@@ -3431 +3433 @@
                                             || (   (PdeSrc.u & (X86_PDE4M_PS | X86_PDE4M_G)) == (X86_PDE4M_PS | X86_PDE4M_G)
 #   if PGM_GST_TYPE == PGM_TYPE_AMD64
+    # error "We should not be here!"
                                                 && (cr4 & X86_CR4_PGE)) /* global 2/4MB page. */
 #   else
@@ -3452 +3455 @@
                                     && (PdeSrc.u & (X86_PDE4M_PS | X86_PDE4M_G)) == (X86_PDE4M_PS | X86_PDE4M_G)
 #   if PGM_GST_TYPE == PGM_TYPE_AMD64
+    # error "We should not be here!"
                                     && (cr4 & X86_CR4_PGE)) /* global 2/4MB page. */
 #   else
@@ -3471 +3475 @@
                             {
 #  if PGM_GST_TYPE == PGM_TYPE_AMD64
+    # error "We should not be here!"
                                 pgmPoolFreeByPage(pPool, pShwPage, pShwPde->idx, iPdShw);
 #  else
@@ -3504 +3509 @@
                         {
 #  if PGM_GST_TYPE == PGM_TYPE_AMD64
+    # error "We should not be here!"
                             pgmPoolFreeByPage(pPool, pgmPoolGetPage(pPool, pPDEDst->u & SHW_PDE_PG_MASK), pShwPde->idx, iPdShw);
 #  else