VfAllocateCommonBufferWithBounds

NTSTATUS __stdcall VfAllocateCommonBufferWithBounds(
        _DMA_ADAPTER *DmaAdapter,
        INT64 a2,
        UINT64 *a3,
        UINT64 a4,
        INT64 a5,
        INT64 a6,
        INT64 a7,
        INT64 a8){
  ULONG_PTR v9; 
  VOID *RealDmaOperation; 
  INT64 v13; 
  __int64(__fastcall *v14)(_DMA_ADAPTER *, INT64, UINT64 *, _QWORD, _DWORD, INT64, _DWORD, INT64); 
  _LIST_ENTRY *AdapterInformationInternal; 
  __int64 v16; 
  UINT64 v18; 

  v9 = a4;
  RealDmaOperation = ViGetRealDmaOperation((ULONG_PTR)DmaAdapter, 0x110ui64);
  LOBYTE(v13) = 1;
  v14 = (__int64(__fastcall *)(_DMA_ADAPTER *, INT64, UINT64 *, _QWORD, _DWORD, INT64, _DWORD, INT64))RealDmaOperation;
  AdapterInformationInternal = ViGetAdapterInformationInternal(DmaAdapter, v13);
  if( (MmVerifierData & 0x4000000) != 0 && a3 && *a3 < 0x100000000i64 )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x141u, *a3, v9, 0, v18);
  v16 = v14(DmaAdapter, a2, a3, v9, a5, a6, a7, a8);
  if( v16 && AdapterInformationInternal )
    _InterlockedIncrement((volatile signed __int32 *)&AdapterInformationInternal[10].Blink + 1);
  return v16;
}

Referenced by: