vmm: Split VM creation into init and adding GPCs
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 19:55:21 +0000 (15:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:37:58 +0000 (16:37 -0400)
commit792f83f3feb2368a5015d63ebbe97cd2438ab558
tree3e4114d6308dfe5ec591f9d6f5b4e718463ee384
parent84a8aeec6fd81365266196fe7d45dc99c05b319c
vmm: Split VM creation into init and adding GPCs

This is part of allowing GPCs to be added on the fly.  Internally, the
kernel can handle *growing* the number at runtime.

One issue is that we can't be fully dynamic yet, and I put a cap of 512 in
place.  Once we have RCU, we can safely realloc the array of guest_pcore
pointers.

There's no change yet to the kernel ABI.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/vmm.c
kern/arch/x86/vmm/vmm.h
kern/src/syscall.c