tree a35019f4bdbc6097c00b36e47b34d586e9c0ec9b
parent f912b27ed4c5b730fe65f819e1b952691081936f
author Barret Rhoden <brho@cs.berkeley.edu> 1466454971 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1466792646 -0400

VMM: Exit on mwait

Mwait can be used for power management.  Linux will use mwait instead of
halt in some circumstances.  See Linux's arch/x86/kernel/process.c
prefer_mwait_c1_over_halt() for more info.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>