VOID __stdcall HvlFlushAddressSpaceTb(UINT64 AddressSpace, INT64 a2){
UINT64 v2;
CHAR v3;
v2 = AddressSpace;
if( a2 && HvlpUseExtendedProcessorSetHypercalls() )
HvlpSlowFlushAddressSpaceTbEx(v2, a2, v3);
else
HvlpSlowFlushAddressSpaceTb(v2, a2);
}