linux-hardened/drivers/virtio
Michael S. Tsirkin 9c378abc5c virtio-balloon: fix add/get API use
Since ee7cd8981e 'virtio: expose added
descriptors immediately.', in virtio balloon virtqueue_get_buf might
now run concurrently with virtqueue_kick.  I audited both and this
seems safe in practice but this is not guaranteed by the API.
Additionally, a spurious interrupt might in theory make
virtqueue_get_buf run in parallel with virtqueue_add_buf, which is
racy.

While we might try to protect against spurious callbacks it's
easier to fix the driver: balloon seems to be the only one
(mis)using the API like this, so let's just fix balloon.

Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au> (removed unused var)
2012-07-09 09:07:22 +09:30
..
config.c Remove all #inclusions of asm/system.h 2012-03-28 18:30:03 +01:00
Kconfig virtio-mmio: Devices parameter parsing 2012-05-22 12:16:15 +09:30
Makefile virtio: Add platform bus driver for memory mapped virtio device 2011-11-02 11:41:01 +10:30
virtio.c virtio: Use ida to allocate virtio index 2012-05-22 12:16:12 +09:30
virtio_balloon.c virtio-balloon: fix add/get API use 2012-07-09 09:07:22 +09:30
virtio_mmio.c virtio-mmio: Devices parameter parsing 2012-05-22 12:16:15 +09:30
virtio_pci.c virtio-pci: switch to PM ops macro to initialise PM functions 2012-03-31 08:09:51 +05:30
virtio_ring.c virtio: correct the memory barrier in virtqueue_kick_prepare() 2012-01-28 08:10:23 +10:30