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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
7 */
8
9/*
10 * virtio_pci.dev
11 *
12 * 4.3 Virtio Over IO
13 */
14 
15device virtio_io lsbfirst ( addr base, addr common ) "Virtio PCI Device Specification" {
16 
17    constant vendor_id width(16) {
18        virtio = 0x1AF4;
19    };
20 
21    
22    
23  
24 };
25