K 10 svn:author V 3 jhb K 8 svn:date V 27 2010-11-11T19:39:38.641886Z K 7 svn:log V 231 MFC 211149,211151,211197,211518,215128: Update various places that store or manipulate CPU masks to use cpumask_t instead of int or u_int. Since cpumask_t is currently u_int on all platforms this should just be a cosmetic change. END