Allow vcore_tick_* to be called from uthreads
[akaros.git] / user / vmm /
drwxr-xr-x   ..
-rw-r--r-- 43 Makefile
-rw-r--r-- 8245 apic.c
-rw-r--r-- 8471 coreboot_table.c
-rw-r--r-- 8120 decode.c
drwxr-xr-x - include
-rw-r--r-- 6239 io.c
-rw-r--r-- 3726 ioapic.c
-rw-r--r-- 17488 sched.c
-rw-r--r-- 2324 virtio.c
-rw-r--r-- 3731 virtio_blk.c
-rw-r--r-- 5649 virtio_lguest_console.c
-rw-r--r-- 14304 virtio_lguest_helpers.c
-rw-r--r-- 39043 virtio_mmio.c
-rw-r--r-- 6129 virtio_net.c
-rw-r--r-- 7818 vmexit.c
-rw-r--r-- 1730 vmm.c
-rw-r--r-- 3323 vmx.c
-rw-r--r-- 9646 vmxmsr.c