Rev 34 | Rev 273 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 34 | Rev 128 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | 31 | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
33 | #include <typedefs.h> |
33 | #include <typedefs.h> |
34 | #include <synch/waitq.h> |
34 | #include <synch/waitq.h> |
35 | #include <config.h> |
35 | #include <config.h> |
- | 36 | #include <arch/smp/smp.h> |
|
36 | 37 | ||
37 | #define CT_EXT_ENTRY_TYPE 0 |
38 | #define CT_EXT_ENTRY_TYPE 0 |
38 | #define CT_EXT_ENTRY_LEN 1 |
39 | #define CT_EXT_ENTRY_LEN 1 |
39 | 40 | ||
40 | struct mps_fs { |
41 | struct mps_fs { |
Line 115... | Line 116... | ||
115 | 116 | ||
116 | 117 | ||
117 | extern waitq_t ap_completion_wq; |
118 | extern waitq_t ap_completion_wq; |
118 | extern waitq_t kmp_completion_wq; |
119 | extern waitq_t kmp_completion_wq; |
119 | 120 | ||
- | 121 | extern struct smp_config_operations mps_config_operations; |
|
- | 122 | ||
120 | extern int mps_irq_to_pin(int irq); |
123 | extern int mps_irq_to_pin(int irq); |
121 | 124 | ||
122 | extern void mps_init(void); |
125 | extern void mps_init(void); |
123 | extern void kmp(void *arg); |
126 | extern void kmp(void *arg); |
124 | 127 |