VOID __stdcall MiSetNonPagedPoolNoSteal(_MMPTE *PointerPte, UINT64 NumberOfPtes){
signed __int64 v3;
signed __int64 v4;
LODWORD(v3) = MI_READ_PTE_LOCK_FREE((INT64)PointerPte);
do
{
if( (v3 & 0x200) != 0 )
break;
v4 = v3;
v3 = _InterlockedCompareExchange64((volatile signed __int64 *)PointerPte, v3 | 0x220, v3);
}
while( v4 != v3 );
}