NTSTATUS __fastcall HvlDmaDeleteDeviceDomain(__int64 a1){
UINT16 v1;
__int64 v3[2];
_BOOL4 v4;
int v5;
v3[0] = -1i64;
v3[1] = 0i64;
v4 = *(_BYTE *)(a1 + 4) != 0;
v5 = *(_DWORD *)a1;
v1 = HvcallFastExtended(65733i64, v3, 0x18u, 0i64, 0);
return HvlpHvToNtStatus(v1);
}