genode/repos/os/include/virtio
Piotr Tworek b7f66626c2 virtio: Make avail and used ring pointers volatile
The contents of those descriptor rings can be modified by the device.
Mark them as volatile so the compiler does not make any assumptions
about them.

Issue #4264
2021-10-13 14:46:51 +02:00
..
mmio_device.h platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00
pci_device.h platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00
queue.h virtio: Make avail and used ring pointers volatile 2021-10-13 14:46:51 +02:00