HvlSetSystemMachineCheckProperty

__int64 __fastcall HvlSetSystemMachineCheckProperty(_QWORD *a1){
  _QWORD *v2; 
  __int16 v3; 
  PHYSICAL_ADDRESS PageInfo[2]; 
  __int128 v6; 
  char StackBuffer[80]; 

  *(_OWORD *)&PageInfo[0].anonymous_0.LowPart = 0i64;
  v6 = 0i64;
  v2 = HvlpAcquireHypercallPage(PageInfo, 1ui64, StackBuffer, 0x28ui64);
  *(_DWORD *)v2 = 4;
  v2[1] = *a1;
  HvcallInitiateHypercall();
  LOWORD(a1) = v3;
  HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)PageInfo);
  return(_WORD)a1 != 0 ? 0xC0000001 : 0;
}

Referenced by: