int PrintPchInfo()
{
  int v0; // esi
  int v1; // ecx
  __int16 v2; // ax
  double v4; // [esp-4h] [ebp-34h]
  double v5; // [esp-4h] [ebp-34h]
  double v6; // [esp-4h] [ebp-34h]
  _BYTE v7[32]; // [esp+Ch] [ebp-24h] BYREF
  int p_n32; // [esp+2Ch] [ebp-4h] BYREF

  v0 = sub_FFD8CBBA(0, 31, 0); /*0xffd816db*/
  p_n32 = 32; /*0xffd816e3*/
  sub_FFD8BE68(); /*0xffd816e6*/
  sub_FFD8C111(&p_n32); /*0xffd816f1*/
  LODWORD(v4) = v7; /*0xffd816fa*/
  DebugPrint(64, (int)"PCH Series   : %a\
", v4);
  p_n32 = 32; /*0xffd8170a*/
  sub_FFD8BB3A(v1); /*0xffd81712*/
  sub_FFD8C06D(&p_n32); /*0xffd8171d*/
  LODWORD(v5) = v7; /*0xffd81726*/
  DebugPrint(64, (int)"PCH Stepping : %a\
", v5);
  p_n32 = 32; /*0xffd81736*/
  v2 = sub_FFD8CCA5((unsigned __int16 *)(v0 + 2)); /*0xffd81740*/
  sub_FFD8C1B5(v2, v7, &p_n32); /*0xffd8174a*/
  LODWORD(v6) = v7; /*0xffd81753*/
  return DebugPrint(64, (int)"PCH SKU      : %a\
", v6);
}