Rev 2307 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2307 | Rev 2456 | ||
|---|---|---|---|
| Line 35... | Line 35... | ||
| 35 | #include <cpu.h> |
35 | #include <cpu.h> |
| 36 | #include <proc/thread.h> |
36 | #include <proc/thread.h> |
| 37 | #include <arch/types.h> |
37 | #include <arch/types.h> |
| 38 | #include <config.h> |
38 | #include <config.h> |
| 39 | 39 | ||
| - | 40 | bool gquiet; |
|
| 40 | static void func(void *data) |
41 | static void func(void *data) |
| 41 | { |
42 | { |
| - | 43 | if (!gquiet) |
|
| 42 | printf("cpu%d: %s",CPU->id, data); |
44 | printf("cpu%d: %s",CPU->id, data); |
| 43 | } |
45 | } |
| 44 | 46 | ||
| 45 | bool gquiet; |
- | |
| 46 | #ifdef CONFIG_SMP |
47 | #ifdef CONFIG_SMP |
| 47 | 48 | ||
| 48 | static void running_tasklet(void * data) |
49 | static void running_tasklet(void * data) |
| 49 | { |
50 | { |
| 50 | waitq_t wq; |
51 | waitq_t wq; |