HvlDmaDeleteDeviceDomain

NTSTATUS __fastcall HvlDmaDeleteDeviceDomain(INT64 a1){
  UINT16 v1; 
  UINT64 a5; 
  _QWORD a2[2]; 
  BOOL v5; 
  int v6; 
  a2[0] = -1i64;
  a2[1] = 0i64;
  v5 = *(_BYTE *)(a1 + 4) != 0;
  LODWORD(a5) = 0;
  v6 = *(_DWORD *)a1;
  v1 = HvcallFastExtended(65733i64, a2, 0x18ui64, 0i64, a5);
  return HvlpHvToNtStatus(v1);
}

Referenced by: