// CpuDeadLoopEx - addr:0xffdaf8f2
void __cdecl CpuDeadLoopEx(int a1, const char *_nASSERT_EFI_ERROR_(Status___%r)_n, int a3)
{
  int v3; // esi

  if ( a1 )
  {
    v3 = a3;
    if ( (a3 & 0xFFFFFF00) == 0xFFFFFF00 )
    {
      v3 = (unsigned __int8)a3;
      LOWORD(a3) = (unsigned __int8)a3;
    }
    if ( (v3 & 0xFFFF0000) == 0xFFFF0000 )
      v3 = (unsigned __int16)a3;
    if ( IsDebugEnabled() && BoolCheck(0x80000000) )
      DebugAssertReport(0x80000000, _nASSERT_EFI_ERROR_(Status___%r)_n, v3);
  }
  while ( 1 )
    ;
}