cpu_mask_count 78 kernel/generic/src/cpu/cpu_mask.c cpu_mask_count(cpus, config.cpu_active); cpu_mask_count 84 kernel/generic/src/cpu/cpu_mask.c cpu_mask_count(cpus, config.cpu_count);