void
test (void)
{
- /* Make sure our prority is the default. */
+ /* Make sure our priority is the default. */
ASSERT (thread_get_priority () == PRI_DEFAULT);
test_preempt ();
"If the order varies then there is a bug.\n");
thread_set_priority (PRI_DEFAULT + 2);
- for (i = 0; i < 5; i++)
+ for (i = 0; i < 10; i++)
{
char name[16];
snprintf (name, sizeof name, "%d", i);