IopRetrieveSystemDeviceName

__int64 __fastcall IopRetrieveSystemDeviceName(
        __int64 (__fastcall *a1)(unsigned __int64, _QWORD, int *),
        unsigned __int64 a2,
        unsigned int a3,
        int *a4){
  int v7; 
  unsigned __int64 v8; 
  unsigned int v9; 
  unsigned __int64 v10; 
  int v11; 
  int v12; 
  int v13; 
  int v15[14]; 
  v7 = 0;
  v15[0] = 0;
  if( a2 && a3 > 0x10 )
  {
    if( *((_BYTE *)KeGetCurrentThread() + 562) )
    {
      if( (a2 & 7) != 0 )
        ExRaiseDatatypeMisalignment();
      v8 = 0x7FFFFFFF0000i64;
      if( a2 < 0x7FFFFFFF0000i64 )
        v8 = a2;
      *(_BYTE *)v8 = *(_BYTE *)v8;
      *(_BYTE *)(v8 + 15) = *(_BYTE *)(v8 + 15);
    }
    v9 = a3 - 16;
    v10 = a2 + 16;
  }
  else
  {
    v9 = 0;
    v10 = 0i64;
  }
  if( v9 > 0xFFFF )
    v9 = 0xFFFF;
  v11 = a1(v10, v9, v15);
  v12 = v11;
  if( v11 < 0 )
  {
    if( v11 == -1073741789 )
    {
      *a4 = v15[0] + 16;
      return(unsigned int)v12;
    }
  }
  else
  {
    v13 = v15[0];
    *(_WORD *)a2 = LOWORD(v15[0]) - 2;
    *(_WORD *)(a2 + 2) = v9;
    *(_QWORD *)(a2 + 8) = v10;
    if( v12 >= 0 )
      v7 = v13 + 16;
  }
  *a4 = v7;
  return(unsigned int)v12;
}

Referenced by: