HalpDmaAllocateReservedMapping

__int64 __fastcall HalpDmaAllocateReservedMapping(__int64 a1){
  __int64 v1; 
  VOID *MappingAddress; 
  __int64 v3; 
  __int64 result; 
  v1 = HalpMmAllocCtxAlloc(a1, 48i64);
  if( v1 )
  {
    MappingAddress = MmAllocateMappingAddress(0x200000ui64, 0x206C6148ui64);
    *(_QWORD *)(v1 + 16) = MappingAddress;
    if( MappingAddress )
    {
      *(_DWORD *)(v1 + 24) = 0;
      result = v1;
      *(_DWORD *)(v1 + 28) = 0;
      *(_QWORD *)(v1 + 32) = 0i64;
      return result;
    }
    HalpMmAllocCtxFree(v3, v1);
  }
  return 0i64;
}

Referenced by: