DeviceQueue: keeping track of buffer ids should work
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Fri, 12 Aug 2016 11:17:39 +0000 (13:17 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Fri, 12 Aug 2016 11:17:39 +0000 (13:17 +0200)
commitfa3907a7cc6b199defb613c97e744a49b0dae964
treedb8657fbff4d348abc23cc5161285ddc7022c4db
parenta04639ea5c341891b0271adbb6fe37bfcf03c1d5
DeviceQueue: keeping track of buffer ids should work

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
include/devif/queue_interface.h
lib/devif/queue_interface.c
lib/devif/region.c
lib/devif/region.h
lib/devif/region_pool.c