VOID __stdcall HalpCmciResetStateAMD(INT64 a1, INT64 a2, BOOL a3){ unsigned __int8 CurrentIrql; CurrentIrql = KeGetCurrentIrql(); __writecr8(0xFui64); HalpCmciSetProcessorConfigAMD(a1, 1, a2); __writecr8(CurrentIrql); }