NTSTATUS __stdcall HalpWheaReadMsrMisc(INT64 a1, INT64 a2){
int v2;
__int64 v4;
v2 = a2;
if( HalpGetCpuVendor() == 1 && HalpMcaScalableRasSupported )
v4 = (unsigned int)(16 * v2 - 1073733629);
else
v4 = (unsigned int)(4 * v2 + 1027);
return((__int64(__fastcall *)(INT64, __int64, _QWORD))qword_140C49C20)(a1, v4, 0i64);
}