VOID __stdcall MiWriteAweClusterPte(INT64 a1, INT64 *a2, INT64 a3, INT64 a4, INT64 a5){
INT64 v5;
int i;
if( (_DWORD)a4 )
{
v5 = a5;
for( i = a4; v5; --v5 )
{
if( i == 1 )
{
MiWriteValidPteNewPage(a2, a3, 1i64);
}
else if( (unsigned int)(i - 2) <= 1 )
{
MiRewritePteWithLockBit(a1, a2, a3);
}
else
{
*a2 = a3;
}
if( (a3 & 1) != 0 )
a3 ^= (a3 ^ (a3 + 4096)) & 0xFFFFFFFFF000i64;
++a2;
}
}
}