_ETHREAD *__stdcall VmFlushTb(_MEMORY_CACHING_TYPE_ORIG a1, UINT64 *a2, INT64 a3){
_ETHREAD *result;
INT64 *VmContext;
if( (_DWORD)a3 == 1 )
{
result = (_ETHREAD *)KeGetCurrentThread();
VmContext = (INT64 *)result->Tcb.ApcState.Process->VmContext;
if( VmContext )
LODWORD(result) = VmpFlushTb(VmContext, (unsigned int)a1, a2);
}
return result;
}