A desc​ription of the shutdown process is missing. Specifically the driver must reset the device or disarm the virtio queues or bus mastering before allowing the memory backing the virtio queues to be reused. It would probably be good to specify a preferred mechanism.