/* Reads and returns the lower 32-bits of the MSR specified by Index. No parameter checking is performed on Index, and some Index values may cause CPU exceptions. The caller must either guarantee that Index is valid, or the caller must set up exception handlers to catch the exceptions. This function is only available on IA-32 and x64. */
UINT32 EFIAPI AsmReadMsr32(IN UINT32 Index)
/* Reads and returns the lower 32-bits of the MSR specified by Index. No parameter checking is performed on Index, and some Index values may cause CPU exceptions. The caller must either guarantee that Index is valid, or the caller must set up exception handlers to catch the exceptions. This function is only available on IA-32 and x64. */
UINT32 EFIAPI AsmReadMsr32(IN UINT32 Index)
{
  return (UINT32)AsmReadMsr64 (Index);
}