// GetPeiServicesTablePointer - addr:0xffdaf396
int GetPeiServicesTablePointer()
{
  int v0; // esi
  _BYTE v2[8]; // [esp+4h] [ebp-8h] BYREF

  InternalReadIdtr(v2);
  v0 = *(_DWORD *)(*(_DWORD *)&v2[2] - 4);
  if ( !v0 )
    DebugPrintWorker(
      (int)"e:\\hs\\MdePkg\\Library\\PeiServicesTablePointerLibIdt\\PeiServicesTablePointer.c",
      48,
      (int)"PeiServices != ((void *) 0)");
  return v0;
}