// Decompiled: 0xffe07a7f
// Function: PeiServicesGet
// Module: TxtPei.efi (TXTPEI)

int __stdcall PeiServicesGet()
{
  int v0; // esi
  _BYTE v2[8]; // [esp+4h] [ebp-8h] BYREF

  PeiGetServiceFromIdt(v2); /*0xffe07a88*/
  v0 = *(_DWORD *)(*(_DWORD *)&v2[2] - 4); /*0xffe07a90*/
  if ( !v0 ) /*0xffe07a95*/
    PeiServicesAssert( /*0xffe07aa4*/
      (int)"e:\\hs\\MdePkg\\Library\\PeiServicesTablePointerLibIdt\\PeiServicesTablePointer.c",
      48,
      (int)"PeiServices != ((void *) 0)");
  return v0; /*0xffe07aac*/
}