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