/* Reads and returns the current value of performance counter specified by Index. This function is only available on IA-32 and x64. */
UINT64 EFIAPI AsmReadPmc(IN UINT32 Index)
/* Reads and returns the current value of performance counter specified by Index. This function is only available on IA-32 and x64. */
UINT64 EFIAPI AsmReadPmc(IN UINT32 Index)
{
  _asm {
    mov     ecx, Index
    rdpmc
  }
}