125,9 → 125,7 |
thread_join(thread); |
thread_detach(thread); |
} |
#endif /* CONFIG_SMP */ |
|
#ifdef CONFIG_SMP |
if (config.cpu_count > 1) { |
count_t i; |
|
143,7 → 141,6 |
thread_ready(thread); |
} else |
printf("Unable to create kcpulb thread for cpu" PRIc "\n", i); |
|
} |
} |
#endif /* CONFIG_SMP */ |
185,10 → 182,12 |
* name stored in the init structure (if any). |
*/ |
|
char namebuf[TASK_NAME_BUFLEN], *name; |
char namebuf[TASK_NAME_BUFLEN]; |
char *name; |
|
name = init.tasks[i].name; |
if (name[0] == '\0') name = "<unknown>"; |
if (name[0] == '\0') |
name = "<unknown>"; |
|
ASSERT(TASK_NAME_BUFLEN >= BOOT_PREFIX_LEN); |
strncpy(namebuf, BOOT_PREFIX, TASK_NAME_BUFLEN); |