INT64 __fastcall MiInitializeIoPageNodeArray(INT64 a1){
unsigned __int16 *v1;
unsigned __int16 *v2;
INT64 result;
unsigned __int16 v4;
v1 = *(unsigned __int16 **)(a1 + 48);
v2 = v1 + 512;
while( v1 < v2 )
{
v4 = *v1 | 0xC000;
result = v4;
*v1++ = v4;
}
return result;
}