--- /dev/null
+/** @file\r
+ Public header file for UEFI CPU library class.\r
+\r
+ This library class defines some routines that are generic for IA32 family CPU\r
+ to be UEFI specification compliant.\r
+\r
+ Copyright (c) 2009, Intel Corporation\r
+ All rights reserved. This program and the accompanying materials\r
+ are licensed and made available under the terms and conditions of the BSD License\r
+ which accompanies this distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+#ifndef __UEFI_CPU_LIB_H__\r
+#define __UEFI_CPU_LIB_H__\r
+\r
+\r
+\r
+/**\r
+ Initializes floating point units for requirement of UEFI specification.\r
+\r
+ This function initializes floating-point control word to 0x027F (all exceptions\r
+ masked,double-precision, round-to-nearest) and multimedia-extensions control word\r
+ (if supported) to 0x1F80 (all exceptions masked, round-to-nearest, flush to zero\r
+ for masked underflow).\r
+\r
+**/\r
+VOID\r
+EFIAPI\r
+InitializeFloatingPointUnits (\r
+ VOID\r
+ );\r
+\r
+#endif\r