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