NTSTATUS __stdcall HvlpFastFlushAddressSpaceTb(UINT64 AddressSpace, _KAFFINITY_EX *ProcessorSet, UINT8 Global){
__int64 v4[4];
HvlpPrepareFlushHeader(v4, AddressSpace, (__int64)ProcessorSet, Global);
return HvcallFastExtended(65538i64, v4, 0x18u, 0i64, 0);
}