NTSTATUS __stdcall HalpWheaReadMsrStatus(INT64 a1, INT64 a2, INT64 a3){
int v4;
__int64 v6;
v4 = a2;
if( HalpGetCpuVendor() == 1 && HalpMcaScalableRasSupported )
v6 = (unsigned int)(16 * v4 - 1073733631);
else
v6 = (unsigned int)(4 * v4 + 1025);
return((__int64(__fastcall *)(INT64, __int64, INT64))qword_140C49C20)(a1, v6, a3);
}