OvmfPkg X64 ResetVector: Move page tables from 512KB to 8MB

[mirror_edk2.git] / OvmfPkg / Sec / SecMain.c

diff --git a/OvmfPkg/Sec/SecMain.c b/OvmfPkg/Sec/SecMain.c
index e235b964a8009b40e827d197da489ea11145ad64..ece1c9b517e5bef07942bb3a74aba3de0b0b3336 100644 (file)
--- a/OvmfPkg/Sec/SecMain.c
+++ b/OvmfPkg/Sec/SecMain.c
@@ -615,6 +615,14 @@ SecCoreStartupWithStack (
 \r
   AsmWriteIdtr (&IdtDescriptor);\r
 \r
+#if defined (MDE_CPU_X64)\r
+  //\r
+  // ASSERT that the Page Tables were set by the reset vector code to\r
+  // the address we expect.\r
+  //\r
+  ASSERT (AsmReadCr3 () == (UINTN) PcdGet32 (PcdOvmfSecPageTablesBase));\r
+#endif\r
+\r
   //\r
   // |-------------|       <-- TopOfCurrentStack\r
   // |   Stack     | 32k\r