INT64 __stdcall HalpBlkMceInitialize(){
unsigned __int64 v0;
unsigned int v1;
__int64 v2;
unsigned __int64 v3;
INT64 result;
v0 = __readmsr(0x179u);
if( (_BYTE)v0 )
{
v1 = 1025;
v2 = (unsigned __int8)v0;
do
{
__writemsr(v1, 0i64);
v1 += 4;
--v2;
}
while( v2 );
}
v3 = __readcr4();
result = v3 | 0x40;
__writecr4(result);
return result;
}