VOID __stdcall MiWaitForSystemCacheViewFlush(_MI_FREE_SYSTEM_CACHE *RemovePte){
__int64 v2;
UINT64 SpinCount;
LODWORD(SpinCount) = 0;
while( 1 )
{
LODWORD(v2) = MiGetPteLink(*((_QWORD *)RemovePte + 3));
if( !v2 )
break;
KeYieldProcessorEx(&SpinCount);
}
}