| /SPARTAN/trunk/arch/ia32/include/smp/mps.h |
|---|
| 33,6 → 33,7 |
| #include <typedefs.h> |
| #include <synch/waitq.h> |
| #include <config.h> |
| #include <arch/smp/smp.h> |
| #define CT_EXT_ENTRY_TYPE 0 |
| #define CT_EXT_ENTRY_LEN 1 |
| 117,6 → 118,8 |
| extern waitq_t ap_completion_wq; |
| extern waitq_t kmp_completion_wq; |
| extern struct smp_config_operations mps_config_operations; |
| extern int mps_irq_to_pin(int irq); |
| extern void mps_init(void); |