VOID __stdcall MiInitializeTbFlushing(){
UINT64 v0;
UINT64 v1;
LODWORD(v0) = KeGetTbSize();
v1 = v0;
if( !v0 )
v1 = 2048i64;
*(&stru_140C4DB30 + 52) = -1i64;
MiInitializeTbFlush(v1);
if( *(&stru_140C4DB30 + 52) == v1 )
{
do
{
if( v1 == 2048 )
break;
*(&stru_140C4DB30 + 52) = -1i64;
v1 = 2048i64;
MiInitializeTbFlush(0x800ui64);
}
while( *(&stru_140C4DB30 + 52) == 2048i64 );
}
}