instead of int or u_int. Since cpumask_t is currently u_int on all platforms this should just be a cosmetic change.