HvlGetCoverageInfo

char __fastcall HvlGetCoverageInfo(_OWORD *a1, __int64 a2, _DWORD *a3, _DWORD *a4){
  char v7; 
  _QWORD *v8; 
  char *v9; 
  __int16 v10; 
  PHYSICAL_ADDRESS v12[2]; 
  __int128 v13; 
  PHYSICAL_ADDRESS PageInfo[2]; 
  __int128 v15; 
  char v16[144]; 
  char StackBuffer[2064]; 

  v7 = 0;
  *(_OWORD *)&PageInfo[0].anonymous_0.LowPart = 0i64;
  v15 = 0i64;
  *(_OWORD *)&v12[0].anonymous_0.LowPart = 0i64;
  v13 = 0i64;
  v8 = HvlpAcquireHypercallPage(PageInfo, 1ui64, StackBuffer, 0x408ui64);
  v9 = (char *)HvlpAcquireHypercallPage(v12, 2ui64, v16, 0x48ui64);
  *v8 = 0i64;
  HvcallInitiateHypercall();
  if( !v10 )
  {
    v7 = 1;
    *a1 = *(_OWORD *)(v9 + 8);
    a1[1] = *(_OWORD *)(v9 + 24);
    a1[2] = *(_OWORD *)(v9 + 40);
    a1[3] = *(_OWORD *)(v9 + 56);
    *a4 = *((_DWORD *)v9 + 1);
    *a3 = *(_DWORD *)v9;
  }
  HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)v12);
  HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)PageInfo);
  return v7;
}

Referenced by: