int __fastcall StallForTicks(unsigned int a1)
{
  unsigned int v1; // esi
  int n0x400000; // edi
  int v3; // ebx
  int result; // eax

  v1 = a1 >> 22; /*0xffd7fa04*/
  n0x400000 = a1 & 0x3FFFFF; /*0xffd7fa07*/
  do /*0xffd7fa3f*/
  {
    v3 = n0x400000 + (sub_FFD8CD6B(1288) & 0xFFFFFF); /*0xffd7fa1c*/
    n0x400000 = 0x400000; /*0xffd7fa1e*/
    while ( ((v3 - sub_FFD8CD6B(1288)) & 0x800000) == 0 ) /*0xffd7fa38*/
      _mm_pause(); /*0xffd7fa25*/
    result = v1--; /*0xffd7fa3a*/
  }
  while ( result ); /*0xffd7fa3f*/
  return result; /*0xffd7fa41*/
}