VOID __stdcall HvlFlushAddressSpaceTb(UINT64 AddressSpace, _KAFFINITY_EX *a2, INT8 a3){
UINT64 v3;
CHAR v4;
v3 = AddressSpace;
if( a2 && HvlpUseExtendedProcessorSetHypercalls() )
HvlpSlowFlushAddressSpaceTbEx(v3, (PFN_CLIPSP_CLEAR *)a2, v4);
else
HvlpSlowFlushAddressSpaceTb(v3, (UINT8)a2);
}