1/* 2 * Copyright (c) 2012, ETH Zurich. All rights reserved. 3 * 4 * This file is distributed under the terms in the attached LICENSE file. 5 * If you do not find this file, copies can be found by writing to: 6 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group. 7 */ 8 9/* 10 * virtio.dev 11 * 12 * The following structurs are taken from the Virtio Specification 1.0 13 * 14 */ 15 16device virtio lsbfirst ( addr base ) "Virtio Device Specification" { 17 18 /* 19 * 2.1 Device Status Field 20 */ 21 constant device_status "Device status field values" { 22 reset = 0x00 "Reset the device status field"; 23 }; 24 25 datatype device_status lsbfirst "Device status field" { 26 acknowledge 1 "Guest OS has found the device and recognized it as a valid virtio device."; 27 driver 1 "Guest OS knows how to drive the device."; 28 driver_ok 1 "Driver is set up and ready to drive the device."; 29 features_ok 1 "Driver has acknowledged all the features it understands, and feature negotiation is complete."; 30 _ 3 "Reserved"; 31 failed 1 "Something went wrong in the guest, and it has given up on the device."; 32 }; 33 34 }; 35