HvlpSlowFlushAddressSpaceTb

VOID __stdcall HvlpSlowFlushAddressSpaceTb(UINT64 AddressSpace, UINT8 Global){
  char v2; 
  char v3; 
  __int64 v4; 
  _QWORD *v6; 
  _HVLP_HYPERCALL_PAGE_INFO PageInfo[4]; 
  __int128 v8; 
  __int64 v9; 

  v3 = v2;
  v4 = Global;
  *(_OWORD *)PageInfo = 0i64;
  v8 = 0i64;
  v6 = HvlpAcquireHypercallPage((PHYSICAL_ADDRESS *)PageInfo, 1ui64, &v9, 0x18ui64);
  HvlpPrepareFlushHeader(v6, AddressSpace, v4, v3);
  HvcallInitiateHypercall();
  HvlpReleaseHypercallPage(PageInfo);
}

Referenced by: