UINT64 __fastcall MiWaitForSystemCacheViewFlush(INT64 a1){
UINT64 result;
UINT64 SpinCount;
LODWORD(SpinCount) = 0;
while( 1 )
{
result = MiGetPteLink(*(_QWORD *)(a1 + 24));
if( !result )
break;
KeYieldProcessorEx(&SpinCount);
}
return result;
}