\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