/branches/rcu/kernel/test/tasklet/tasklet1.c |
---|
43,6 → 43,7 |
} |
bool gquiet; |
#ifdef CONFIG_SMP |
static void running_tasklet(void * data) |
{ |
102,7 → 103,7 |
if (!gquiet) |
printf("Done!\n"); |
} |
#endif |
char * test_tasklet1(bool quiet) |
{ |
gquiet = quiet; |
109,8 → 110,8 |
waitq_t wq; |
waitq_initialize(&wq); |
tasklet_descriptor_t *tasklet_desc; |
#ifdef CONFIG_SMP |
thread_t* second_thread = NULL; |
#ifdef CONFIG_SMP |
if (!quiet) |
printf("cpus:%d\n", config.cpu_active); |