Rename vcore_request() -> vcore_request_more()
[akaros.git] / tests / vmm /
drwxr-xr-x   ..
-rw-r--r-- 710 Makefrag
-rw-r--r-- 36603 vmrunkernel.c