Michael Forney 2833aecc68 vmx: fix PCI ID for virtio block devices ... The transitional PCI device ID for block devices is 0x1001, and the virtio spec says that devices must have the transitional device ID or 0x1040 + the virtio device ID (2).		2022-01-24 23:48:13 +00:00
..
9p.c
dat.h
exith.c
fns.h	vmx: emulate ps/2 intellimouse scrolling	2021-07-06 15:44:16 +00:00
ide.c
io.c	vmx: emulate ps/2 intellimouse scrolling	2021-07-06 15:44:16 +00:00
ksetup.c	vmx: update openbsd kernel heuristics	2021-09-25 16:57:58 +00:00
mkfile
nanosec.c
pci.c
vesa.c
vga.c
virtio.c	vmx: fix PCI ID for virtio block devices	2022-01-24 23:48:13 +00:00
vmx.c
vmxgdb.c
x86.c
x86.h