INT64 __fastcall HalpMceInitProcessor(INT64 a1, INT64 a2){
unsigned __int8 CurrentIrql;
INT64 result;
if( HalpMcaEnabled )
HalpMceInitializeErrorPacket(a1, a2);
CurrentIrql = KeGetCurrentIrql();
__writecr8(0xFui64);
HalpMcaSetProcessorConfig(a1, a2);
result = CurrentIrql;
__writecr8(CurrentIrql);
return result;
}