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-07-15 01:58:20 +00:00
2010-03-04 05:37:19 +00:00
2010-07-15 01:58:20 +00:00
2010-02-09 06:24:43 +00:00
2010-07-15 03:56:08 +00:00