HvlpFastFlushPasidAddressList

NTSTATUS __stdcall HvlpFastFlushPasidAddressList(UINT64 a1, UINT64 a2, UINT64 a3, INT64 a4){
  __int64 v4; 
  INT64 v5; 
  char *v6; 
  __int64 v8; 
  _QWORD v9[2]; 
  char v10[96]; 

  v9[1] = 0i64;
  HIDWORD(v9[0]) = a1;
  LODWORD(v9[0]) = a2;
  if( (_DWORD)a3 )
  {
    v4 = (unsigned int)a3;
    v5 = a4 - (_QWORD)v10;
    v6 = v10;
    do
    {
      *(_QWORD *)v6 = *(_QWORD *)&v6[v5] & 0x800i64 | (*(_QWORD *)&v6[v5] + (*(_QWORD *)&v6[v5] & 0xC00i64));
      v6 += 8;
      --v4;
    }
    while( v4 );
  }
  LODWORD(v8) = 65697;
  HIDWORD(v8) = a3 & 0xFFF;
  return HvcallFastExtended(v8, v9, 8 * (int)a3 + 16, 0i64, 0);
}

Referenced by: