genode/dde_linux/src/lib
Christian Prochaska 5059f2e0b6 usb_drv: initialize '_tx_alloc' variable
Fixes #867.
2013-09-02 19:44:19 +02:00
..
usb usb_drv: initialize '_tx_alloc' variable 2013-09-02 19:44:19 +02:00