K 10 svn:author V 3 avg K 8 svn:date V 27 2011-05-09T07:05:36.301200Z K 7 svn:log V 65 change generic_stop_cpus to use the same approach hard_stop_cpus END