K 10 svn:author V 3 jhb K 8 svn:date V 27 2010-08-11T23:22:53.732060Z K 7 svn:log V 191 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