NTSTATUS __stdcall HvlpFastFlushAddressSpaceTbEx(INT64 a1, INT64 a2, CHAR a3){
__int64 v3;
int v4;
__int64 v6[2];
_HV_GENERIC_SET v7;
v6[0] = a1;
v3 = (a3 != 0 ? 0 : 4) | 2u;
if( a1 )
v3 = a3 != 0 ? 0 : 4;
v6[1] = v3;
HvlpAffinityToHvProcessorSet((_KAFFINITY_EX *)a2, &v7, 0x50ui64);
return HvcallFastExtended(((v4 + 7) << 14) & 0x3FE0000 | 0x10013u, v6, v4 + 32, 0i64, 0);
}