| /trunk/kernel/generic/src/mm/tlb.c |
|---|
| 44,7 → 44,6 |
| #include <arch/mm/tlb.h> |
| #include <smp/ipi.h> |
| #include <synch/spinlock.h> |
| #include <typedefs.h> |
| #include <atomic.h> |
| #include <arch/interrupt.h> |
| #include <config.h> |
| 51,6 → 50,7 |
| #include <arch.h> |
| #include <panic.h> |
| #include <debug.h> |
| #include <cpu.h> |
| /** |
| * This lock is used for synchronisation between sender and |