INT64 __fastcall HalpWheaWriteMsrStatus(INT64 a1, INT64 a2){
int v2;
__int64 v4;
v2 = a2;
if( HalpGetCpuVendor() == 1 && HalpMcaScalableRasSupported )
v4 = (unsigned int)(16 * v2 - 1073733631);
else
v4 = (unsigned int)(4 * v2 + 1025);
return HalpWheaWriteMsr(a1, v4, 0i64);
}