K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2011-07-05T18:42:10.028949Z
K 7
svn:log
V 244
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.

END