John Baldwin 60c7b36b7a 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.
2010-08-11 23:22:53 +00:00
..
2010-05-04 10:14:05 +00:00
2010-05-04 10:14:05 +00:00
2010-07-19 18:47:18 +00:00
2009-12-23 23:16:54 +00:00