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; |