User library changes to take a guest_thread instead of a vmctl.
[akaros.git] / user / vmm /
drwxr-xr-x   ..
-rw-r--r-- 43 Makefile
-rw-r--r-- 8227 apic.c
-rw-r--r-- 8471 coreboot_table.c
-rw-r--r-- 7110 decode.c
drwxr-xr-x - include
-rw-r--r-- 5020 io.c
-rw-r--r-- 2944 ioapic.c
-rw-r--r-- 14269 virtio-mmio.c
-rw-r--r-- 31763 virtio_ring.c
-rw-r--r-- 2255 vmx.c
-rw-r--r-- 8480 vmxmsr.c