| /branches/dynload/kernel/generic/include/synch/spinlock.h |
|---|
| 36,6 → 36,7 |
| #define KERN_SPINLOCK_H_ |
| #include <arch/types.h> |
| #include <arch/barrier.h> |
| #include <preemption.h> |
| #include <atomic.h> |
| #include <debug.h> |
| /branches/dynload/kernel/generic/src/main/main.c |
|---|
| 328,6 → 328,7 |
| * collide with another CPU coming up. To prevent this, we |
| * switch to this cpu's private stack prior to waking kmp up. |
| */ |
| context_save(&CPU->saved_context); |
| context_set(&CPU->saved_context, FADDR(main_ap_separated_stack), |
| (uintptr_t) CPU->stack, CPU_STACK_SIZE); |
| context_restore(&CPU->saved_context); |
| /branches/dynload/kernel/generic/src/mm/tlb.c |
|---|
| 134,7 → 134,9 |
| void tlb_shootdown_ipi_send(void) |
| { |
| #ifndef ia64 |
| ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
| #endif |
| } |
| /** Receive TLB shootdown message. */ |