NTSTATUS __stdcall HalpWheaWriteMsrControl(INT64 a1, INT64 a2, INT64 a3){
int v4;
__int64 v6;
v4 = a2;
if( HalpGetCpuVendor() == 1 && HalpMcaScalableRasSupported )
v6 = (unsigned int)(16 * v4 - 1073733632);
else
v6 = (unsigned int)(4 * v4 + 1024);
return qword_140C49C10(a1, v6, a3);
}