cpu_mask_is_set 55 kernel/generic/include/cpu/cpu_mask.h if (cpu_mask_is_set(&(mask), (cpu_id))) cpu_mask_is_set 72 kernel/generic/include/cpu/cpu_mask.h extern bool cpu_mask_is_set(cpu_mask_t *, unsigned int);