cpu_mask_none 69 kernel/generic/include/cpu/cpu_mask.h extern void cpu_mask_none(cpu_mask_t *); cpu_mask_none 77 kernel/generic/src/cpu/cpu_mask.c cpu_mask_none(cpus);