INT64 __stdcall MiGetPartitionLargePageListCount(){
unsigned int v0;
int *v1;
__int64 v2;
int v3;
v0 = dword_140C4E320;
if( !dword_140C4E320 )
{
v1 = dword_140C4DCC0;
v2 = (unsigned int)(dword_140C4E320 + 3);
do
{
v3 = *v1++;
v0 += v3 << 6;
--v2;
}
while( v2 );
v0 *= (unsigned __int16)KeNumberNodes;
dword_140C4E320 = v0;
}
return v0;
}