VOID __stdcall HvlpSlowFlushAddressSpaceTb(UINT64 AddressSpace, UINT8 Global){
CHAR v2;
CHAR v3;
INT64 v4;
LONGLONG *v6;
__int128 v7[2];
__int64 v8;
v3 = v2;
v4 = Global;
memset(v7, 0, sizeof(v7));
v6 = HvlpAcquireHypercallPage((PHYSICAL_ADDRESS *)v7, 1, (__int64)&v8, 24i64);
HvlpPrepareFlushHeader(v6, AddressSpace, v4, v3);
HvcallInitiateHypercall();
HvlpReleaseHypercallPage((unsigned int *)v7);
}