/* DxeIplDebugPrintGuid @ 0xffc1708f size=0x78 */
int __fastcall DxeIplDebugPrintGuid(int a1, char *DxeIpl)
{
  _DWORD *v2; // esi
  int v3; // ebp
  int v4; // edi
  int v5; // ebx
  char *DxeIpl_2; // eax
  int v7; // eax
  _DWORD *v9; // [esp+14h] [ebp-Ch] BYREF
  char *DxeIpl_1; // [esp+18h] [ebp-8h]
  int v11; // [esp+1Ch] [ebp-4h] BYREF

  DxeIpl_1 = DxeIpl; /*0xffc17095*/
  DxeIplGetFvFromHob(&v9, &v11); /*0xffc170a2*/
  v2 = v9; /*0xffc170a7*/
  v3 = *v9; /*0xffc170ab*/
  if ( *v9 >= 0x3E8u ) /*0xffc170b3*/
    return -2147483639; /*0xffc170b5*/
  v5 = 10 * v3; /*0xffc170bc*/
  *v9 = v3 + 1; /*0xffc170c2*/
  v4 = 0; /*0xffc170c4*/
  DxeIpl_2 = DxeIpl_1; /*0xffc170c6*/
  v2[v5 + 2] = 0; /*0xffc170ca*/
  v2[v5 + 3] = 0; /*0xffc170ce*/
  if ( DxeIpl_2 ) /*0xffc170d4*/
    sub_FFC18962(DxeIpl_2); /*0xffc170dd*/
  v7 = v11; /*0xffc170e4*/
  v2[v5 + 10] = 0; /*0xffc170e8*/
  v2[v5 + 11] = 0; /*0xffc170ec*/
  *(_DWORD *)(v7 + 4 * v3) = 0; /*0xffc170f0*/
  *(_QWORD *)&v2[v5 + 8] = __rdtsc(); /*0xffc170f5*/
  return v4; /*0xffc170ff*/
}