// Decompiled: 0xffe0703e
// Function: EndOfHobCheck
// Module: TxtPei.efi (TXTPEI)

int __cdecl EndOfHobCheck(_DWORD *a1)
{
  _EAX = 11; /*0xffe0705e*/
  __asm { cpuid } /*0xffe07064*/
  if ( a1 ) /*0xffe0706a*/
    *a1 = _EAX; /*0xffe0706c*/
  return 11; /*0xffe07087*/
}