char __fastcall HvlFlushRangeListTb(
__int64 a1,
__int64 a2,
char a3,
__int64 a4,
char a5,
unsigned int a6,
unsigned __int64 *a7){
__int64 v7;
char v8;
UINT64 v10;
v7 = a1;
if( a2 && HvlpUseExtendedProcessorSetHypercalls() )
{
v8 = a5;
LODWORD(v10) = a6;
HvlpFlushRangeListTbEx(v7, a2, a3, a4, a5, v10, a7);
}
else
{
v8 = a5;
HvlpFlushRangeListTb(v7, a2, a3, a4, a5, a6, a7);
}
return v8;
}