NTSTATUS __fastcall HvlDmaAllocateDeviceDomain(__int64 a1){
INT16 v1;
INT64 v2;
UINT64 v3;
int v4;
__int64 v6[2];
_BOOL4 v7;
int v8;
v6[1] = 0i64;
v6[0] = -1i64;
v7 = *(_BYTE *)(a1 + 4) != 0;
v8 = *(_DWORD *)a1;
while( 1 )
{
v1 = HvcallFastExtended(65713i64, v6, 0x18u, 0i64, 0);
if( !HvlpHvStatusIsInsufficientMemory(v1) )
break;
HvlpHandleInsufficientMemory(v3, v2);
if( v4 < 0 )
return -1073741670;
}
return HvlpHvToNtStatus(v3);
}