K 10 svn:author V 3 rrs K 8 svn:date V 27 2015-03-31T00:18:00.888300Z K 7 svn:log V 180 Adopt jhb's suggested changes, updated comments and callout_migration() moving to kern/kern_timeout.c This does *not* address his -1 -> NOCPU comment. Sponsored by: Netflix Inc. END