VMM: immediately swap btw guests and ctlrs
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 9 Nov 2016 18:35:08 +0000 (13:35 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 7 Dec 2016 22:46:48 +0000 (14:46 -0800)
commit334f6bc7b24783b12f2dfa5c6dde88ea969503d0
tree38ad4ec9bc7970d36607a663204b5ddcdfdb0c1c
parentf61f02ab3bfdbb85a822c055c875daee448b1be8
VMM: immediately swap btw guests and ctlrs

We know we want to run the buddy thread, so we can just immediately run it.
This bypasses the scheduler loop, which is OK since we weren't really using
it for anything here - the ctlr and guest_thread are accounted as one
entity.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/sched.c