diff options
Diffstat (limited to 'src/dev/virtio/fs9p.hh')
| -rw-r--r-- | src/dev/virtio/fs9p.hh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/dev/virtio/fs9p.hh b/src/dev/virtio/fs9p.hh index ebff9fef7..786f58464 100644 --- a/src/dev/virtio/fs9p.hh +++ b/src/dev/virtio/fs9p.hh @@ -1,5 +1,5 @@ /* - * Copyright (c) 2014 ARM Limited + * Copyright (c) 2014-2015 ARM Limited * All rights reserved * * The license below extends only to copyright in the software and shall @@ -269,6 +269,17 @@ class VirtIO9PProxy : public VirtIO9PBase * @param len Number of bytes to write. */ void writeAll(const uint8_t *data, size_t len); + + /** + * Bool to track if the device has been used or not. + * + * We need to keep track of if the device has been used as we are + * unable to checkpoint the device in the event that the device + * has been mounted in the guest system. This is due to the fact + * that we do not, and cannot, track the complete state across + * host and guest. + */ + bool deviceUsed; }; struct VirtIO9PDiodParams; |