VOID __fastcall KeFrozenProcessorCount(){
int v0;
unsigned int i;
__int64 v2;
v0 = 0;
for( i = 0; i < (unsigned int)KeNumberProcessors_0; ++i )
{
KeGetPrcb(i);
if( v2 )
{
if( (*(_DWORD *)(v2 + 11656) & 0xF) == 2 )
++v0;
}
}
}