VMMCP: misc stuff
authorRonald G. Minnich <rminnich@gmail.com>
Tue, 22 Sep 2015 22:20:20 +0000 (15:20 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:53:50 +0000 (18:53 -0500)
commitb3ddabc1aacbcee5f7499367c1e9829d9931ada4
treebe6990eed5af08c3b8ee33fe02d1156a7de43191
parent5fa3a91f830e5bd32abd8ca884a7963308cd38d3
VMMCP: misc stuff

i.e., use a reserved interrupt vector for virtio_mmio

virtio_mmio, it turns out, doesn't really work on x86. I will refrain
from further comment. Grrrrrrr...

So for now the guest linux will set a trap gate for 17, and we'll be smart and use it.

Awful.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
tests/vmm/vmrunkernel.c
user/vmm/include/virtio_mmio.h
user/vmm/virtio-mmio.c
user/vmm/virtio_ring.c