HvlResetCoverageVector

CHAR __stdcall HvlResetCoverageVector(){
  LONGLONG *v0; 
  __int16 v1; 
  __int128 v3[2]; 
  __int128 v4[2]; 
  char v5[144]; 
  char v6[2064]; 
  memset(v4, 0, sizeof(v4));
  memset(v3, 0, sizeof(v3));
  v0 = HvlpAcquireHypercallPage((PHYSICAL_ADDRESS *)v4, 1, (__int64)v6, 1032i64);
  HvlpAcquireHypercallPage((PHYSICAL_ADDRESS *)v3, 2, (__int64)v5, 72i64);
  *(_DWORD *)v0 = 3;
  HvcallInitiateHypercall();
  LOBYTE(v0) = v1 == 0;
  HvlpReleaseHypercallPage((unsigned int *)v3);
  HvlpReleaseHypercallPage((unsigned int *)v4);
  return(char)v0;
}

Referenced by: