Rename SYS_setup_vmm -> SYS_vmm_setup (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 5 Feb 2016 21:39:26 +0000 (16:39 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 11 Feb 2016 15:39:30 +0000 (10:39 -0500)
commite16b7275f12a68ffa631e3b003adbba9b6452703
treee438fa856b203e107ada1b9778f6e4b6f6fca964
parent9108b7deeb15f5d33e27b171fae15cacaec21ed9
Rename SYS_setup_vmm -> SYS_vmm_setup (XCC)

This will make having multiple VMM syscalls slightly cleaner.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/ros/bits/syscall.h
kern/src/syscall.c
tests/vmm/vmrunkernel.c