INT64 __fastcall HalpMcaProcessorBankConfigAmd(INT64 a1, INT64 a2){
unsigned int v3;
__int64 v4;
v3 = 16 * a2 - 1073733628;
v4 = ((__int64(__fastcall *)(INT64, _QWORD, _QWORD))HalpWheaReadMsr)(a1, v3, 0i64);
return HalpWheaWriteMsr(a1, v3, v4 | 5);
}