HvlpFastFlushPasidAddressList

INT64 __fastcall HvlpFastFlushPasidAddressList(UINT64 rcx0, UINT64 rdx0, UINT64 a3, INT64 a4){
  __int64 v4; 
  INT64 v5; 
  char *v6; 
  UINT64 v8; 
  INT64 a1; 
  _QWORD a2[2]; 
  char v11[96]; 
  a2[1] = 0i64;
  HIDWORD(a2[0]) = rcx0;
  LODWORD(a2[0]) = rdx0;
  if( (_DWORD)a3 )
  {
    v4 = (unsigned int)a3;
    v5 = a4 - (_QWORD)v11;
    v6 = v11;
    do
    {
      *(_QWORD *)v6 = *(_QWORD *)&v6[v5] & 0x800i64 | (*(_QWORD *)&v6[v5] + (*(_QWORD *)&v6[v5] & 0xC00i64));
      v6 += 8;
      --v4;
    }
    while( v4 );
  }
  LODWORD(v8) = 0;
  LODWORD(a1) = 65697;
  HIDWORD(a1) = a3 & 0xFFF;
  return HvcallFastExtended(a1, a2, (unsigned int)(8 * a3 + 16), 0i64, v8);
}

Referenced by: