VOID __stdcall MiFlushCacheRange(UINT64 DisableCount, UINT64 PageCount){
unsigned __int8 CurrentIrql;
if( PageCount < (unsigned int)dword_140C4DC4C )
{
CurrentIrql = KeGetCurrentIrql();
__writecr8(2ui64);
MiFlushCacheForAttributeChange(DisableCount, PageCount, 3i64);
__writecr8(CurrentIrql);
}
else
{
++dword_140C4DC44;
KeInvalidateAllCaches();
}
}