Jung-uk Kim f0b28f005e 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
..
2010-11-12 20:55:14 +00:00
MFC
2011-07-04 11:13:00 +00:00
MFC
2011-07-04 11:13:00 +00:00