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	vmx: fix 9p debug server and make it compatible to /proc	2021-05-12 18:17:06 +02:00
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	vmx: avoid strdup() register names for register cache	2021-05-12 18:04:25 +02:00
vmxgdb.c	vmx: fix 9p debug server and make it compatible to /proc	2021-05-12 18:17:06 +02:00
x86.c
x86.h