VfAllocateCommonBufferWithBounds

INT64 __fastcall VfAllocateCommonBufferWithBounds(
        DMA_ADAPTER *DmaAdapter,
        INT64 a2,
        UINT64 *a3,
        UINT64 a4,
        INT64 a5,
        INT64 a6,
        INT64 a7,
        INT64 a8){
  unsigned int v9; 
  __int64(__fastcall *v12)(DMA_ADAPTER *, INT64, UINT64 *, _QWORD, _DWORD, INT64, _DWORD, INT64); 
  INT64 v13; 
  __int64(__fastcall *v14)(DMA_ADAPTER *, INT64, UINT64 *, _QWORD, _DWORD, INT64, _DWORD, INT64); 
  LIST_ENTRY *AdapterInformationInternal; 
  INT64 result; 
  UINT64 v17; 
  v9 = a4;
  LODWORD(v12) = ViGetRealDmaOperation(DmaAdapter, 0x110ui64);
  LOBYTE(v13) = 1;
  v14 = v12;
  AdapterInformationInternal = ViGetAdapterInformationInternal(DmaAdapter, v13);
  if( (MmVerifierData & 0x4000000) != 0 && a3 && *a3 < 0x100000000i64 )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x141ui64, *a3, v9, 0i64, v17);
  result = v14(DmaAdapter, a2, a3, v9, a5, a6, a7, a8);
  if( result )
  {
    if( AdapterInformationInternal )
      _InterlockedIncrement((volatile signed __int32 *)&AdapterInformationInternal[10].Blink + 1);
  }
  return result;
}

Referenced by: