UINT64 __stdcall MiGetNodeStandbyPageCount(_MI_PARTITION *Partition, UINT64 NodeNumber, UINT64 Channel){
UINT64 v3;
__int64 v4;
__int64 v5;
_QWORD *v6;
v3 = 0i64;
v4 = *((_QWORD *)Partition + 2);
v5 = 8i64;
v6 = (_QWORD *)(192i64 * (unsigned int)Channel + 4544i64 * (unsigned int)NodeNumber + v4 + 3256);
do
{
v3 += *v6;
v6 += 3;
--v5;
}
while( v5 );
return v3;
}