Use InitializeFloatingPointUnits() from UefiCpuLib to initialize floating point units in SEC phase.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9481 6f19259b-4bc3-4df7-8a09-765794883524
2009-11-25 04:26:09 +00:00
parent 989322c384
commit 284af948b6
5 changed files with 13 additions and 0 deletions
--- a/OvmfPkg/Sec/SecMain.c
+++ b/OvmfPkg/Sec/SecMain.c
@@ -20,6 +20,7 @@
 #include <Library/PeiServicesLib.h>
 #include <Ppi/TemporaryRamSupport.h>
 #include <Library/PcdLib.h>
+#include <Library/UefiCpuLib.h>

 #include "SecMain.h"

@@ -72,6 +73,12 @@ SecCoreStartupWithStack (
  UINTN                       SizeOfTempRam;
  VOID                        *IdtPtr;

+  //
+  // Initialize floating point operating environment
+  // to be compliant with UEFI spec.
+  //
+  InitializeFloatingPointUnits ();
+
  DEBUG ((EFI_D_ERROR,
    "SecCoreStartupWithStack(0x%x, 0x%x, 0x%x, 0x%x)\n",
    (UINT32)(UINTN)BootFirmwareVolumePtr,