Allow requesting a total number of vcores
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 24 Feb 2016 23:32:32 +0000 (18:32 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 May 2016 21:11:15 +0000 (17:11 -0400)
commiteff6e651ec1a7fd96802e85ad0e52f4216064ca7
treed5e369b46c3ea886a8b59cdf892f73f2eacea7de
parent849faa644dc623ff22a0d6b6a8c228af1dc2596d
Allow requesting a total number of vcores

This is a way to ask for a total / absolute number of vcores.

The old vcore_request_more() still works, and is implemented with the new
vcore_request_total.  2LSs can use whichever method they want.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/include/parlib/vcore.h
user/parlib/vcore.c