IA32API\r
EfiHalt (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiWbinvd (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiInvd (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
EfiCpuid (\r
IN UINT32 RegisterInEax,\r
OUT EFI_CPUID_REGISTER *Regs\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiReadMsr (\r
IN UINT32 Index\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
EfiWriteMsr (\r
IN UINT32 Index,\r
IN UINT64 Value\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiReadTsc (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiDisableCache (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiEnableCache (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiGetEflags (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiDisableInterrupts (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r
IA32API\r
EfiEnableInterrupts (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/*++ \r
Routine Description: \r