/trunk/kernel/arch/ia32/src/smp/mps.c |
---|
84,8 → 84,6 |
int io_intr_entry_cnt = 0; |
int l_intr_entry_cnt = 0; |
waitq_t ap_completion_wq; |
/* |
* Implementation of IA-32 SMP configuration interface. |
*/ |
/trunk/kernel/arch/ia32/src/smp/smp.c |
---|
104,8 → 104,6 |
ASSERT(ops != NULL); |
waitq_initialize(&ap_completion_wq); |
/* |
* We need to access data in frame 0. |
* We boldly make use of kernel address space mapping. |