/*++\r
\r
-Copyright (c) 2004 - 2006, Intel Corporation \r
-All rights reserved. This program and the accompanying materials \r
+Copyright (c) 2004 - 2006, Intel Corporation. All rights reserved.<BR>\r
+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
#include "Tiano.h"\r
\r
-#define IA32API __cdecl\r
-\r
typedef struct {\r
UINT32 RegEax;\r
UINT32 RegEbx;\r
(((UINT32) (f) << 16) | ((UINT32) (m) << 8) | ((UINT32) (s)))\r
\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiHalt (\r
VOID\r
);\r
None \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiWbinvd (\r
VOID\r
);\r
None \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiInvd (\r
VOID\r
);\r
None \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiCpuid (\r
IN UINT32 RegisterInEax,\r
OUT EFI_CPUID_REGISTER *Regs\r
--*/\r
\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiCpuidExt (\r
IN UINT32 RegisterInEax,\r
IN UINT32 CacheLevel,\r
;\r
\r
UINT64\r
-IA32API\r
+EFIAPI\r
EfiReadMsr (\r
IN UINT32 Index\r
);\r
Return the read data \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiWriteMsr (\r
IN UINT32 Index,\r
IN UINT64 Value\r
None \r
--*/\r
UINT64\r
-IA32API\r
+EFIAPI\r
EfiReadTsc (\r
VOID\r
);\r
Return the read data \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiDisableCache (\r
VOID\r
);\r
None \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiEnableCache (\r
VOID\r
);\r
None \r
--*/\r
UINT32\r
-IA32API\r
+EFIAPI\r
EfiGetEflags (\r
VOID\r
);\r
Return the Eflags value \r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiDisableInterrupts (\r
VOID\r
);\r
None\r
--*/\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiEnableInterrupts (\r
VOID\r
);\r
\r
\r
VOID\r
-IA32API\r
+EFIAPI\r
EfiCpuVersion (\r
IN UINT16 *FamilyId, OPTIONAL\r
IN UINT8 *Model, OPTIONAL\r