static void exit_round_robin(unsigned int tsk_index)
 {
        struct cpumask *pad_busy_cpus = to_cpumask(pad_busy_cpus_bits);
+
        cpumask_clear_cpu(tsk_in_cpu[tsk_index], pad_busy_cpus);
        tsk_in_cpu[tsk_index] = -1;
 }
        struct device_attribute *attr, const char *buf, size_t count)
 {
        unsigned long num;
+
        if (kstrtoul(buf, 0, &num))
                return -EINVAL;
        if (num < 1 || num >= 100)
        struct device_attribute *attr, const char *buf, size_t count)
 {
        unsigned long num;
+
        if (kstrtoul(buf, 0, &num))
                return -EINVAL;
        if (num < 1 || num >= 100)
        struct device_attribute *attr, const char *buf, size_t count)
 {
        unsigned long num;
+
        if (kstrtoul(buf, 0, &num))
                return -EINVAL;
        mutex_lock(&isolated_cpus_lock);