vmm: Rename SYS_vmm_setup -> SYS_vmm_add_gpcs (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 20:06:25 +0000 (16:06 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:37:58 +0000 (16:37 -0400)
commit609ce655cf6e71b14e10cd82b15f572e1a3e9a60
tree61891831eaf0fadd35f1d1a842f507b583db5aff
parent792f83f3feb2368a5015d63ebbe97cd2438ab558
vmm: Rename SYS_vmm_setup -> SYS_vmm_add_gpcs (XCC)

You can call it as many times as you want, adding more guest physical cores
as you go.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/trap.c
kern/include/ros/bits/syscall.h
kern/src/syscall.c
tests/strace.c
user/vmm/sched.c