cpu_mask 58 kernel/generic/include/cpu/cpu_mask.h #define DEFINE_CPU_MASK(cpu_mask) \ cpu_mask 59 kernel/generic/include/cpu/cpu_mask.h cpu_mask_t *(cpu_mask) = (cpu_mask_t*) alloca(cpu_mask_size())