INT64 __fastcall HvlpFastFlushAddressSpaceTb(__int64 a1, __int64 a2, char a3){ UINT64 v4; __int64 v5[4]; HvlpPrepareFlushHeader(v5, a1, a2, a3); LODWORD(v4) = 0; return HvcallFastExtended(65538i64, v5, 0x18ui64, 0i64, v4); }