/* DxeIplGetPpiPtr @ 0xffc1723a size=0x26 */
int __cdecl DxeIplGetPpiPtr(int a1, unsigned int a2)
{
  unsigned int v2; // esi
  int result; // eax

  v2 = *(_DWORD *)(a1 + 12); /*0xffc17244*/
  if ( v2 < a2 ) /*0xffc17249*/
    return 0; /*0xffc1725b*/
  result = *(_DWORD *)(a1 + 8); /*0xffc1724b*/
  *(_DWORD *)(a1 + 12) = v2 - a2; /*0xffc17250*/
  *(_DWORD *)(a1 + 8) = result + a2; /*0xffc17256*/
  return result; /*0xffc1725d*/
}