void *output(void *arg) {

            char *x = (char *) arg;
            char name[40] = "thread";
            strcat(name, x);
            prctl(PR_SET_NAME, name);
            while(1){
                    printf("%sn", name);
                    sleep(10000);
            };
    }

do{
            printk("%sn", task->comm);
    }while((task=next_task(task)) != &init_task);