K 10 svn:author V 7 davidxu K 8 svn:date V 27 2010-11-01T00:42:25.451890Z K 7 svn:log V 214 Use integer for size of cpuset, as it won't be bigger than INT_MAX, This is requested by bge. Also move the sysctl into file kern_cpuset.c, because it should always be there, it is independent of thread scheduler. END