INT64 __fastcall HalpMcaProcessorBankClearAMD(INT64 a1, INT64 a2){
int v2;
INT64 result;
v2 = a2;
result = HalpWheaReadMsrStatus(a1, a2, 0i64);
if( (result & 0x100000000000i64) != 0 )
return HalpWheaWriteMsr(a1, (unsigned int)(16 * v2 - 1073733624), 0i64);
return result;
}