_ETHREAD *__fastcall VmFlushTb(unsigned int a1, unsigned __int64 *a2, int a3){
_ETHREAD *result;
INT64 *v5;
if( a3 == 1 )
{
result = (_ETHREAD *)KeGetCurrentThread();
v5 = *(INT64 **)(*((_QWORD *)result + 23) + 2288i64);
if( v5 )
return(_ETHREAD *)VmpFlushTb(v5, a1, a2);
}
return result;
}