| /trunk/kernel/generic/include/mm/tlb.h |
|---|
| 32,8 → 32,8 |
| /** @file |
| */ |
| #ifndef __TLB_H__ |
| #define __TLB_H__ |
| #ifndef KERN_TLB_H_ |
| #define KERN_TLB_H_ |
| #include <arch/mm/asid.h> |
| #include <arch/types.h> |
| 75,7 → 75,6 |
| # define tlb_shootdown_ipi_recv() |
| #endif /* CONFIG_SMP */ |
| /* Export TLB interface that each architecture must implement. */ |
| extern void tlb_arch_init(void); |
| extern void tlb_print(void); |
| 88,4 → 87,3 |
| /** @} |
| */ |