jkim 52539f62b4 Correct cpu_monitor() and cpu_mwait() for amd64. These instructions take
%rcx as "extensions" in long mode.  If any unused bit is set in %rcx, these
instructions cause general protection fault.  Fix style nits and synchronize
i386 with amd64.
2011-07-05 18:42:10 +00:00
..
2009-04-15 17:31:22 +00:00
MFC
2011-05-09 18:53:13 +00:00
2009-04-15 17:31:22 +00:00
2010-11-11 18:35:28 +00:00
2011-06-07 08:05:23 +00:00
MFC
2011-05-18 16:01:29 +00:00
MFC
2011-05-13 20:58:48 +00:00