genode/ports-foc/src/drivers
Stefan Kalkowski d233186900 L4Linux: hold queue lock in block driver (fix #395)
When finishing a block request in the L4Linux block stub driver,
we#ve to hold the queue lock before using __blk_end_request_all, or
simply use blk_end_request_all instead. Moreover, this commit simplifies
the lock/unlock behaviour when the block queue has to be stopped, or resumed.
Thanks to I. Ismagilov for these suggestions.
2012-11-26 20:58:10 +01:00
..
genode_block.c L4Linux: hold queue lock in block driver (fix #395) 2012-11-26 20:58:10 +01:00
genode_fb.c L4Linux: no linux-kernel memcpy in cxx (fix #446) 2012-11-03 09:49:04 +01:00
genode_net.c L4Linux: no linux-kernel memcpy in cxx (fix #446) 2012-11-03 09:49:04 +01:00
genode_rtc.c Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
genode_serial.c Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
Makefile Imported Genode release 11.11 2011-12-22 16:19:25 +01:00