INT64 __fastcall HalpCmciResetStateAMD(INT64 a1, INT64 a2){
unsigned __int8 CurrentIrql;
INT64 result;
CurrentIrql = KeGetCurrentIrql();
__writecr8(0xFui64);
HalpCmciSetProcessorConfigAMD(a1, 1, a2);
result = CurrentIrql;
__writecr8(CurrentIrql);
return result;
}