INT64 __fastcall VfFreeCommonBufferFromVector(DMA_ADAPTER *a1, INT64 a2, UINT64 a3){
unsigned int v4;
__int64(__fastcall *v6)(DMA_ADAPTER *, INT64, _QWORD);
v4 = a3;
LODWORD(v6) = ViGetRealDmaOperation(a1, 0x128ui64);
return v6(a1, a2, v4);
}