Piotr Tworek 2ec9e69fd4 os: Add support for reading VirtIO responses.
Some more advanced devices like VirtIO GPU do expect they can receive
responses to VirtIO commands they issue via VirtIO queue. Such responses
are not sent via a separate device writeable queue. Instead the driver
is expected to queue some additional descriptors and buffers which the
device can then use to provide the reply.

This patch adds support for such write-data-read-response opeartion to
Genode VirtIO::Queue implementation. The implementation is pretty simple
and does not support any fancy features like receiving the response
asynchronously. Instead the operation will use caller provided callback
to wait for the device to process the command. Once this callback
returns the write-data-read-response VirtIO::Queue function will invoke
another callback passing received response as argument.
2021-11-29 15:11:53 +01:00
..
2020-07-13 11:33:13 +02:00
2020-07-13 11:33:13 +02:00
2020-07-30 08:49:23 +02:00
2020-10-09 13:35:56 +02:00
2017-03-24 16:19:56 +01:00
2019-01-30 13:49:54 +01:00
2021-11-29 15:11:52 +01:00
2021-06-25 11:41:45 +02:00
2020-04-17 12:40:12 +02:00