UINT8 __stdcall HalpMcaProcessorBankConfig(INT64 a1, INT64 a2){
unsigned int v2;
UINT8 result;
v2 = a2;
result = HalpGetCpuVendor();
if( result == 1 )
{
if( HalpMcaScalableRasSupported )
return HalpMcaProcessorBankConfigAmd(a1, v2);
}
return result;
}