HvlResetCoverageVector

INT8 __stdcall HvlResetCoverageVector(){
  _DWORD *v0; 
  __int16 v1; 
  PHYSICAL_ADDRESS v3[2]; 
  __int128 v4; 
  PHYSICAL_ADDRESS PageInfo[2]; 
  __int128 v6; 
  char v7[144]; 
  char StackBuffer[2064]; 

  *(_OWORD *)&PageInfo[0].anonymous_0.LowPart = 0i64;
  v6 = 0i64;
  *(_OWORD *)&v3[0].anonymous_0.LowPart = 0i64;
  v4 = 0i64;
  v0 = HvlpAcquireHypercallPage(PageInfo, 1ui64, StackBuffer, 0x408ui64);
  HvlpAcquireHypercallPage(v3, 2ui64, v7, 0x48ui64);
  *v0 = 3;
  HvcallInitiateHypercall();
  LOBYTE(v0) = v1 == 0;
  HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)v3);
  HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)PageInfo);
  return(char)v0;
}

Referenced by: