// Decompiled: 0xffe070c3
// Function: CpuRegRead
// Module: TxtPei.efi (TXTPEI)

int __usercall CpuRegRead@<eax>(_DWORD *a1@<edx>, _DWORD *a2, _DWORD *a3, _DWORD *a4)
{
  _EAX = 1; /*0xffe070d4*/
  __asm { cpuid } /*0xffe070d7*/
  if ( a1 ) /*0xffe070dd*/
    *a1 = _EAX; /*0xffe070df*/
  if ( a2 ) /*0xffe070e4*/
    *a2 = _EBX; /*0xffe070e6*/
  if ( a3 ) /*0xffe070ec*/
    *a3 = _ECX; /*0xffe070ee*/
  if ( a4 ) /*0xffe070f3*/
    *a4 = _EDX; /*0xffe070f5*/
  return 1; /*0xffe070fa*/
}