INT64 __fastcall HvlpFastFlushAddressSpaceTbEx(INT64 a1, INT64 rdx0, CHAR a3){
__int64 v3;
int v4;
UINT64 v6;
_QWORD a2[2];
__int64 v8[12];
a2[0] = a1;
v3 = (a3 != 0 ? 0 : 4) | 2u;
if( a1 )
v3 = a3 != 0 ? 0 : 4;
a2[1] = v3;
v4 = HvlpAffinityToHvProcessorSet(rdx0, v8, 0x50u);
LODWORD(v6) = 0;
return HvcallFastExtended(((v4 + 7) << 14) & 0x3FE0000 | 0x10013u, a2, (unsigned int)(v4 + 32), 0i64, v6);
}